Definition: Paarweise Disjunktheit von Mengen

Seien Mengen.

Wir bezeichnen als paarweise disjunkt, wenn für beliebige Menge der Mengenfamilie gilt, dass sie disjunkt sind. Formal also dann, wenn: