Baustein:Disjunkt

Aus VoWi
Zur Navigation springen Zur Suche springen
Disjunkte Mengen[Bearbeiten]

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

A, B \; \text{disjunkt} \Longleftrightarrow A \cap B = \emptyset

Mehrere Mengen M_i heißen paarweise disjunkt, wenn je zwei Mengen keine gemeinsamen Elemente besitzen.

\forall i: \forall j \neq i: M_i \cap M_j = \emptyset