Es sei M {\displaystyle {}M} eine endliche Menge mit n {\displaystyle {}n} Elementen. Dann besitzt die Permutationsgruppe Perm ( M ) ≅ S n {\displaystyle {}\operatorname {Perm} \,(M)\cong S_{n}} genau n ! {\displaystyle {}n!} Elemente.