Identity Function

Definition: Identity Function

The identity function on a set $X$ is the function $\mathrm{id}:X\to X$ which maps every element of $X$ to itself.

$$\mathrm{id}(x)\stackrel{\text{def}}{=}x\forall x\in X$$