> [!NOTE] Definition (Identity function ) > The identity function on a given set $X$ is the [[Function|function]] $\begin{align} \text{Id}_{X}:&X\to X \\ & x \mapsto x \end{align}$