Die Mächtigkeit einer Menge ist wie folgt definiert:
falls eine Injektive Funktion exisitert ( = ist höchstens so mächtig wie )
falls eine Bijektive Funktion exisitert ( = ist gleichmächtig wie )
für falls Für die Mengendefinition der Natürliche Zahlen
ist abzählbar, falls oder endlich ist (endlich heisst )
Beispiele von Mächtigkeiten:
= 3
In der Menge gibt es drei Elemente.
Es gibt in der Menge der ganzen Zahlen und der natürlichen Zahlen gleich viele Einträge.