Endliche Mengen/Abbildung/Faseranzahl/Fakt/Name/Inhalt

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)}\,.$