In der Mengenlehre heißen zwei Mengen  und disjunkt ( ‚getrennt‘), elementfremd oder durchschnittsfremd, wenn sie kein gemeinsames Element besitzen. Mehrere Mengen heißen paarweise disjunkt, wenn beliebige zwei von ihnen disjunkt sind.