Definition:Identity Mapping

Definition
The identity mapping, or identity transformation, of a set $$S$$ is the mapping $$I_S: S \to S$$ defined as:
 * $$I_S = \left\{{\left({x, y}\right) \in S \times S: x = y}\right\}$$

That is:
 * $$I_S: S \to S: \forall x \in S: I_S \left({x}\right) = x$$

Informally, it is a transformation in which every element is a fixed element.

The symbol $$1_S$$ is also seen, as is $$i_S$$, $$id_S$$ and $$\operatorname {id}_S$$.

Note that the identity mapping on $$S$$ is the same as the diagonal relation $$\Delta_S$$ on $$S$$.