Composite of Permutations is Permutation

Theorem
If $f, g$ are permutations of the set $S$, then so is their composite $g \circ f$.

Proof
This follows from the fact that a permutation is a bijection.

The domain and codomain are coincident.

The result follows from Composite of Bijections.