Abzählbarkeit einer Menge

... gerade lese ich in meinem MaLo-Skript, dass das Kriterium zur Abzählbarkeit einer Menge doch nicht die Existenz einer Bijektion mit den natürlichen Zahlen ist. Stattdessen muss lediglich eine surjektive Abbildung existieren, also eine Abbildung f: IN -> A, so dass für alle a \in A ein n \in IN mit f(n) = a existiert. Das heißt, ein abgezähltes Element in A darf auch ruhig mehr als eine Nummer bekommen, solange, jedes eine Nummer bekommt...(RB)