Definition: Disjunktheit von Mengen

Zwei Menge heißen disjunkt, falls