Abzählbare Vereinigung abzählbarer Mengen/Abzählbar/Fakt/Beweis
Beweis
Wir können annehmen, dass sämtliche nicht leer sind. Es gibt dann surjektive Abbildungen
Daraus konstruieren wir die Abbildung
die offensichtlich surjektiv ist. Nach Fakt ist die Produktmenge abzählbar, also gilt das auch für das Bild unter , und dieses ist die Vereinigung.