Menge/Endliche Teilmengen/Rekursiv/Äquivalenzklassen/Definition

Anzahlmenge (endliche Teilmengen)

Es sei ${}M$ eine unendliche Menge und ${}E={\mathcal {E}}(M)$ die Menge der endlichen Teilmengen von ${}M$. Dann nennt man die Menge der Äquivalenzklassen zur Gleichmächtigkeit die Anzahlmenge (oder die Menge der natürlichen Zahlen zu ${}M$) von ${}M$. Sie wird mit ${}\mathbb {N} (M)$ bezeichnet.