Definition 1. The identity on a set $X$ is the binary relation
\[\id_X = \{(x, x) : x \in X\}.\]For any set $X$, $\id_X$ is also a function (the identity function).
References
- [1]
- Wikipedia contributors. Identity function. Wikipedia, The Free Encyclopedia.