Abzählbare Menge
Eine Menge bezeichnet man als abzählbar (oder abzählbar unendlich), wenn sie mit der Menge der [[Natürliche Zahlen]natürlichen Zahlen]] gleichmächtig ist. (Siehe: Mächtigkeit)
Die Menge der rationalen Zahlen ist abzählbar, ebenso jede Menge der Gestalt ℤn. (Also Tupel ganzer Zahlen).
Die Menge der reellen Zahlen ist dagegen überabzählbar. Es gibt also keine bijektive Abbildung, die jede reelle Zahl auf je eine natürliche Zahl abbildet.