请严格证明,AB两个集合,如果B属于A,那么B是A的真子集或者A=B.要求严格证明.不允许举例法.

用反证法吧
证明：假设B不是A的真子集且A≠B 即A∩B≠B，存在B属于A
则A是B真子集 或者 A与B有交集且不属于，或者A∩B=∅
则B都不可能属于A，
即不存在B属于A
则推出与假设矛盾
所以B是A的真子集或者A=B。

如果B属于A,则说明B中的所有元素都在A中.
AB两个集合元素数量关系只有三种,A=B AB
因此,
若A包含B,A元素与B元素个数相同,则A=B
若A包含B,A元素个数多于B元素个数,则B是A的真子集