# Identity Mapping is Bijection

## 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$