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.