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.