Eine Mengenfamilie
heißt paarweise disjunkt, wenn für alle i , j ∈ I {\displaystyle {}i,j\in I} , i ≠ j {\displaystyle {}i\neq j} ,