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 an Injection;
 * a surjection, from Identity Mapping is a Surjection;

and therefore a bijection.