Die Menge M {\displaystyle {}M} heißt abzählbar, wenn sie leer ist oder wenn es eine surjektive Abbildung
gibt.