Es seien M {\displaystyle {}M} und N {\displaystyle {}N} endliche Mengen, die beide n {\displaystyle {}n} Elemente besitzen. Dann gibt es n ! {\displaystyle {}n!} bijektive Abbildungen von M {\displaystyle {}M} nach N {\displaystyle {}N} .
