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