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