Definition:Identity Mapping

Definition
The identity mapping of a set $S$ is the mapping $I_S: S \to S$ defined as:
 * $I_S = \set {\tuple {x, y} \in S \times S: x = y}$

or alternatively:
 * $I_S = \set {\tuple {x, x}: x \in S}$

That is:
 * $I_S: S \to S: \forall x \in S: I_S \paren x = x$

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

Also known as
The identity mapping is also referred to by some sources as the identity operator or identity transformation.

Alternative symbols for $I_S$ include $1_S$, $i_S$, $id_S$, $\operatorname {id}_S$, $\operatorname {Id}_S$ and $\iota_S$.

The subscript is frequently removed if there is no danger of confusion as to which set is under discussion.

Some sources use the same symbol for the identity mapping as for the inclusion mapping without confusion, on the grounds that the domain and codomain of the latter are different.

As the identity mapping is (technically) exactly the same thing as the diagonal relation, the symbol $\Delta_S$ is often used for both.

Also see

 * Identity Mapping is Bijection
 * Inverse of Identity Mapping
 * Identity Mapping is Left Identity
 * Identity Mapping is Right Identity

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