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