Identity Mapping is Bijection

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

Proof
The identity mapping is:


 * an injection, from Identity Mapping is Injection
 * a surjection, from Identity Mapping is Surjection

and therefore a bijection.