子集：對于兩個集合A與B,如果集合A的任何一個元素都是集合B的元素,我們就說集合A包含于集合B,或集合B包含集合A,也說集合A是集合B的子集.空集是任何集合的子集.任何一個集合是它本身的子集.空集是任何非空集合的真子集.全集：在研究集合與集合之間的關(guān)系時,這些集合往往是某個給定集合的子集,這個確定的集合叫做全集.補(bǔ)集：一般地,設(shè)S是一個集合,A是S的一個子集,由S中所有不屬于A的元素組成的集合,叫做S中子集A的補(bǔ)集(或余集)記作CsA.在集合論和數(shù)學(xué)的其他分支中,存在補(bǔ)集的兩種定義：相對補(bǔ)集和絕對補(bǔ)集.補(bǔ)集可以看作兩個集合相減,有時也稱作差集.