Es seien L {\displaystyle {}L} und M {\displaystyle {}M} endliche Mengen mit ℓ {\displaystyle {}\ell } bzw. m {\displaystyle {}m} Elementen.
Dann gibt es m ℓ {\displaystyle {}m^{\ell }} Abbildungen von L {\displaystyle {}L} nach M {\displaystyle {}M} .