Identity Mapping is Permutation

Theorem
The identity mapping $$I_S: S \to S$$ on the set $$S$$ is a permutation.

Proof
The identity mapping $$I_S$$ is a bijection from $$S$$ to itself, by Identity Mapping is a Bijection.