子集：对于两个集合A与B,如果集合A的任何一个元素都是集合B的元素,我们就说集合A含于集合B,或集合B包含集合A,也说集合A是集合B的子集.
真子集：如果集合A的任何一个元素都是集合B的元素,而集合B中至少有一个元素不属于集合A,则称集合A是集合B的真子集.
空集是任何集合的子集,是任何非空集合的真子集.任何一个集合是它本身的子集.