1.任何一个集合必有两个子集 2.若A交B等于空集 则 AB中至少1个为空集 3.若A交B为S S为全集 则A=B=S