Endliche Mengen/Abbildung/Faseranzahl/Fakt/Beweis

Beweis

Da jedes Element ${}x\in L$ auf genau ein Element aus ${}M$ abgebildet wird, liegt eine disjunkte Vereinigung

{}L=\biguplus _{y\in M}f^{-1}(y)\,

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