Finite permutation group/Cardinality/Fact

Let ${}M$ be a finite set with ${}n$ elements.

Then the

permutation group

${}\operatorname {Perm} \,(M)\cong S_{n}\,$

contains exactly ${}n!$ elements.

Proof, Write another proof