Mengenlehre: Eine Menge heißt abzählbar, wenn sie sich auf eine Teilmenge der natürlichen Zahlen eineindeutig 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 (Diagonalverfahren).