不交集

在數學裡，若兩個集合沒有共同的元素，稱為不交（disjoint）。例如和為不交集（disjoint sets）。

解釋 
從定義說，兩個集合和為不交，若其交集為空集，即

此一定義可推廣至集族上。若然一個集族裡的任意兩個相異集合均為不交，則稱之為兩兩不交。

形式上，設為索引集，且對內的任一元素，設為一集合。然後為兩兩不交，當對任何於內的和且，有

舉例來說，便為兩兩不交。若為兩兩不交，則中各集合的交集為空集：

相反則不必為真：內各集合的交集為空集，但非兩兩不交。事實上，其內的集合甚至沒有兩個是不交集。

集合划分是由一群兩兩不交的非空集合組成的集族。

参考文献

另見 
 幾乎不交集
 不交併
 不交集資料結構

B
B