Menge/Endliche Teilmengen/Rekursiv/Äquivalenzklassen/Definition

Anzahlmenge (endliche Teilmengen)

Es sei $M$ eine unendliche Menge und $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.