Kategorie:Disjunkt

Zwei Mengen ${\displaystyle A}$ und ${\displaystyle B}$ heißen disjunkt (oder elementfremd), wenn sie keine gemeinsamen Elemente besitzen.

${\displaystyle A,B\text{disjunkt}⟺A\cap B=\mathrm{\varnothing }}$

Mehrere Mengen ${\displaystyle M_i}$ heißen paarweise disjunkt, wenn je zwei Mengen keine gemeinsamen Elemente besitzen.

${\displaystyle \mathrm{\forall }i:\mathrm{\forall }j\ne i:M_i\cap M_j=\mathrm{\varnothing }}$