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