Endliche Mengen/Abbildung/Faseranzahl/Fakt

Satz über die Urbildanzahl

Es seien ${}L$ und ${}M$ endliche Mengen und es sei

$f\colon L\longrightarrow M$

eine Abbildung.

Dann gilt

${}{\#\left(L\right)}=\sum _{y\in M}{\#\left(f^{-1}(y)\right)}\,.$

Zum Beweis, Alternativen Beweis erstellen