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 range are coincident.

The result follows from Composite of Bijections.