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.