Identity Function

Last updated Nov 1, 2022

Let $X$ be a Set. The Identity Function on $X$ is the Function $\text{id}{X}: X \to X$ so that $\forall x \in X$, $\text{id}{X}(x) = x$.