Definition. (gleichmächtig)

Zwei Mengen $M$ und $N$ sind gleichmächtig (Bez.: $M~N$) =Df

Wenn $M~IN$, dann heißt $M$ auch abzählbar (unendlich).

Ist $M$ unendlich aber nicht gleichmächtig mit der Menge der natürlichen Zahlen, dann heißt $M$ überabzählbar.