Identity Mapping is Bijection

From ProofWiki
Jump to: navigation, search

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

and therefore a bijection.

$\blacksquare$


Sources