Es seien ${\displaystyle {}M}$ und ${\displaystyle {}N}$ endliche Mengen mit ${\displaystyle {}m}$ bzw. ${\displaystyle {}n}$ Elementen und sei

${\displaystyle f\colon M\longrightarrow N}$

eine Abbildung. Wie viele Abbildungen

${\displaystyle s\colon N\longrightarrow M}$

mit

${\displaystyle {}f\circ s=\operatorname {Id} _{N}\,}$