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 Bijection.

$\blacksquare$