Identity Mapping is Surjection

Theorem
On any set $S$, the identity mapping $I_S: S \to S$ is a surjection.

Proof
The identity mapping is defined as:
 * $\forall y \in S: \map {I_S} y = y$

Then we have:

Hence the result.

Also see

 * Identity Mapping is Injection