Endliche Mengen/Abbildung/Faseranzahl/Fakt/Beweis

Beweis

Da jedes Element auf genau ein Element aus abgebildet wird, liegt eine disjunkte Vereinigung

vor. Nach Fakt ist daher die Gesamtanzahl der Menge gleich der Summe der Anzahlen der disjunkten Teilmengen.