In der Mengenlehre heißen zwei Mengen
A
{\displaystyle A}
und
B
{\displaystyle B}
disjunkt (lateinisch disjunctus (-a, -um) ‚getrennt‘), elementfremd oder durchschnittsfremd, wenn sie kein gemeinsames Element besitzen. Mehrere Mengen heißen paarweise disjunkt, wenn beliebige zwei von ihnen disjunkt sind.