不相交集

不相交集是兩個特殊相關的集合。指兩個集合沒有公共元素。

對於兩個集合 A 與 B，如果

，則稱 A 與 B 不相交。這一概念可以推廣到多個集合的情況。設 𝒫 是一集合族，如果

對任何

𝒫 成立，則稱 𝒫 是互不相交的集合族（兩兩不相交的集族）。 ^[1] 

集合論中，設A，B是兩個集合，由所有屬於集合A且屬於集合B的元素所組成的集合，叫做集合A與集合B的交集（intersection）。即：A∩B= {x|x∈A∧x∈B}，記作A∩B，讀作“A與B的交集”。

空集是指不含任何元素的集合。空集是任何集合的子集，是任何非空集合的真子集。空集不是無；它是內部沒有元素的集合。

可以將集合想象成一個裝有元素的袋子，而空集的袋子是空的，但袋子本身確實是存在的。

根據定義，空集有 0 個元素，或者稱其勢為 0。然而，這兩者的關係可能更進一步：在標準的自然數的集合論定義中，0 被定義為空集。實數0與空集是兩個不同的概念，不能把0或{0}與Ø混為一談。