Order of Symmetric Group

Theorem
Let $S$ be a finite set of cardinality $n$.

Let $\struct {\map \Gamma S, \circ}$ be the symmetric group on $S$.

Then $\struct {\map \Gamma S, \circ}$ has $n!$ elements (see factorial).

Proof
A direct application of Cardinality of Set of Bijections.