集合的符號：?；屬于的符號：∈。對于兩個集合A，B，如果集合A中任意一個元素都是集合B中的元素,我們就說這兩個集合有包含關系，稱集合A為集合B的子集。 記作：A?B（或B?A） 讀作：“A包含于B”（“B包含A”）。此時，A就是屬于B。

交并集

交集定義：由屬于A且屬于B的相同元素組成的集合，記作A∩B

（或B∩A），讀作“A交B”（或“B交A”），即A∩B={x|x∈A,且x∈B}， 如右圖所示。注意交集越交越少。若A包含B，則A∩B=B，A∪B=A 。

并集定義：由所有屬于集合A或屬于集合B的元素所組成的集合，記作A∪B（或B∪A），讀作“A并B”（或“B并A”），即A∪B={x|x∈A,或x∈B}，如右圖所示。注意并集越并越多，這與交集的情況正相反 。

補集

補集又可分為相對補集和絕對補集。

相對補集定義：由屬于A而不屬于B的元素組成的集合，稱為B關于A的相對補集，記作A-B或AB，即A-B={x|x∈A，且x?B'} 。

絕對補集定義：A關于全集合U的相對補集稱作A的絕對補集，記作A'或?u（A）或~A。有U'=Φ；Φ'=U 。