Es seien L {\displaystyle {}L} und M {\displaystyle {}M} endliche Mengen mit ℓ {\displaystyle {}\ell } bzw. m {\displaystyle {}m} Elementen mit ℓ ≤ m {\displaystyle {}\ell \leq m} .
Dann gibt es m ( m − 1 ) ( m − 2 ) ⋯ ( m − ℓ + 1 ) {\displaystyle {}m(m-1)(m-2)\cdots (m-\ell +1)} injektive Abbildungen von L {\displaystyle {}L} nach M {\displaystyle {}M} .