不交集




在数学里,两个集合被称为不交(disjoint),若其没有共同的元素。例如,{1, 2, 3}和{4, 5, 6}为不交集(disjoint sets)。
从定义说,两个集合A和B为不交,若其交集为空集,即
此一定义可推广至集族上。若然一个集族里的任意两个相异集合均为不交,则称之为两两不交。
形式上,设I为索引集,且对I内的任一元素i,设Ai 为一集合。然后,{Ai : i ∈ I}为两两不交,当对任何于I内的i和j且i ≠ j,有
举例来说,{ {1}, {2}, {3}, ... }便为两两不交。若{Ai}为两两不交,则{Ai}中各集合的交集为空集: