(1)空集是任意一个集合的子集，是任意一个非空集合的真子集
(2)任何一个集合是它本身的子集，即A⊆A．空集只有一个子集，即它本身．
(3)集合的子集和真子集具有传递性：若A⊆B，B⊆C，则A⊆C；若AB，BC，则AC。
(4)含有n个元素的集合有个子集，有-1个非空子集，有-1个真子集，有-2个非空真子集（n∈）．