Es sei M {\displaystyle {}M} eine unendliche Menge und N = N ( M ) {\displaystyle {}\mathbb {N} =\mathbb {N} (M)} die zugehörige Anzahlmenge. Zeige, dass es für jede endliche Teilmenge T ⊆ M {\displaystyle {}T\subseteq M} eine Bijektion
![{\displaystyle T\longrightarrow \{1,\ldots ,[T]\}={\left\{[U]\in \mathbb {N} (M)\mid [U]>0{\text{ und }}[U]\leq [T]\right\}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/344c652c4e40a914eb0d926d4d26c94c213963fa)