子集：对于两个集合A与B,如果集合A的任何一个元素都是集合B的元素,我们就说集合A包含于集合B,或集合B包含集合A,也说集合A是集合B的子集.空集是任何集合的子集.任何一个集合是它本身的子集.空集是任何非空集合的真子集.全集：在研究集合与集合之间的关系时,这些集合往往是某个给定集合的子集,这个确定的集合叫做全集.补集：一般地,设S是一个集合,A是S的一个子集,由S中所有不属于A的元素组成的集合,叫做S中子集A的补集(或余集)记作CsA.在集合论和数学的其他分支中,存在补集的两种定义：相对补集和绝对补集.补集可以看作两个集合相减,有时也称作差集.