Es sei I {\displaystyle {}I} eine abzählbare Indexmenge und zu jedem i ∈ I {\displaystyle {}i\in I} sei M i {\displaystyle {}M_{i}} eine abzählbare Menge.
Dann ist auch die (disjunkte) Vereinigung ⋃ i ∈ I M i {\displaystyle {}\bigcup _{i\in I}M_{i}} abzählbar.
