abzählbar (Mengenlehre)

Eine Menge heißt abzählbar, wenn sie sich eineindeutig auf eine Teilmenge der natürlichen Zahlen abbilden lässt. Jede unendliche Teilmenge der Menge der natürlichen Zahlen ist abzählbar (z. B. die Menge der geraden Zahlen, die Menge der Primzahlen), ebenso die Menge der rationalen Zahlen. Nicht abzählbar (überabzählbar) ist die Menge der reellen Zahlen