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: I_S \left({y}\right) = y$. Then we have:

Hence the result.