Eine Menge M {\displaystyle {}M} heißt abzählbar unendlich, wenn sie abzählbar, aber nicht endlich ist.