Disjunkt
In der Mengenlehre heißen zwei Mengen A und B disjunkt oder elementfremd, falls sie kein gemeinsames Element besitzen.
Definitionen
Gleichbedeutend dazu ist folgende formale Definition:
Zwei Mengen A und B heißen disjunkt, wenn A geschnitten mit B leer ist:
Mehrere Mengen heißen paarweise disjunkt, wenn je zwei von ihnen disjunkt sind.
Eine disjunkte Mengenfamilie
ist eine Familie von paarweise disjunkten Mengen. Es gilt also
für 
.
Die Vereinigung M eines disjunkten Mengensystems bezeichnet man als disjunkte Vereinigung und schreibt sie als
Ein Mengensystem U von Teilmengen einer Menge X heißt Partition von X, wenn gilt:
- die Vereinigung aller Mengen in U ist wieder ganz X,
- U ist eine disjunkte Mengenfamilie,
- die leere Menge ist nicht Element von U.
Beispiele und Eigenschaften
A={1,2,3} und B={7,8,11} sind disjunkt. A={1,2,7} und B={6,7,8,11} sind nicht disjunkt, da sie die 7 gemeinsam besitzen.
A={1,2,3}, B={3,4,5}, C={5,6,7} sind nicht paarweise disjunkt, obwohl kein Element in allen drei Mengen enthalten ist (und A und C disjunkt sind).
Zwei Nebenklassen gU, hU einer Untergruppe U einer Gruppe G sind entweder gleich oder disjunkt. Damit ist die Menge G/U aller Nebenklassen von U eine Partition von G.
Die Mächtigkeit einer disjunkten Vereinigung ist gleich der Summe der Einzelmächtigkeiten. Für nicht-disjunkte Vereinigungen gilt die Siebformel.
Verwandtes Konzept: Linear Disjunkt
In der abstrakten Algebra gibt es den Begriff der Linearen Disjunktheit von Zwischenkörpern einer Körpererweiterung, der mit der Disjunktheit im mengentheoretischen Sinne nur gemeinsam hat, dass die Schnittmenge linear disjunkter Körper kleinstmöglich ist.