Identity function

For every set $A$, its identity function ${\text{id}}_A:A\to A$ is defined for all $a\in A$ as: $$ \text{id}_A(a) = a $$

${\text{id}}_A$ is also a bijection and its inverse is itself.