Endliche Mengen/In M unendlich/Gibt disjunkte bijektive Menge/Aufgabe

Es sei $M$ eine unendliche Menge und $T\subseteq M$ eine endliche Teilmenge. Zeige, dass es für jede endliche Teilmenge $S\subseteq M$ eine zu $S$ gleichmächtige Teilmenge $U\subseteq M$ gibt, die zu $T$ disjunkt ist.

Eine Lösung erstellen