Identity Mapping is Surjection

From ProofWiki
Jump to navigation Jump to search


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


The identity mapping is defined as:

$\forall y \in S: \map {I_S} y = y$

Then we have:

\(\ds \forall y \in S: \exists x \in S: \, \) \(\ds x\) \(=\) \(\ds y\) that is, $y$ itself
\(\ds \leadsto \ \ \) \(\ds \forall y \in S: \exists x \in S: \, \) \(\ds \map {I_S} x\) \(=\) \(\ds y\) Definition of $I_S$

Hence the result.


Also see