Menge/Endliche Teilmengen/Rekursiv/Äquivalenzklassen/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Anzahlmenge (endliche Teilmengen)

Es sei eine unendliche Menge und die Menge der endlichen Teilmengen von . Dann nennt man die Menge der Äquivalenzklassen zur Gleichmächtigkeit die Anzahlmenge (oder die Menge der natürlichen Zahlen zu ) von . Sie wird mit bezeichnet.