Überabzählbar unendlich

Eine Menge \(M\) ist überabzählbar, falls keine surjektive Abbildung \(f: \mathbb{N} \twoheadrightarrow M\) existiert.

vgl. Satz von Cantor-Schröder-Bernstein-Dedekind