# Identity map

on a set $X$
The transformation on $X$, often denoted $1_X$ or $\text{id}_X$ defined by $x \mapsto x$ for all $x \in X$.