Eine
Menge heißt
überabzählbar, wenn sie nicht
abzählbar ist. Dabei heißt eine Menge
abzählbar, wenn sie entweder endlich ist oder eine
Bijektion zur Menge der
natürlichen Zahlen existiert. Eine Menge ist also genau dann überabzählbar, wenn ihre
Mächtigkeit (entspricht der Anzahl der Elemente bei endlichen Mengen) größer ist als die der Menge der natürlichen Zahlen.