4，有举例来说，formula_16便为两两不交。若formula_17为两两不交，则formula_17中各集合的交集为空集：相反则不必为真：formula_20内各集合的交集为空集，但非两两不交。事实上，其内的集合甚至没有两个是不交集。集合划分formula_21是由一群两两不交的非空集合formula_10组成的集族。