元素，称为不交（disjoint）。例如formula_1和formula_2为不交集（disjoint sets）。
解释.从定义说，两个集合formula_3和formula_4为不交，若其交集为空集，即此一定义可推广至集族上。若然一个集族里的任意两个相异集合均为不交，则称之为两两不交。形式上，设formula_6为索引集，且对formula_6内的任一元素formula_8，设formula_9为一集合。然后formula_10为两两不交，当对任何于formula_6