# Category:Definitions/Identity Mappings

Jump to navigation
Jump to search

This category contains definitions related to Identity Mappings.

Related results can be found in Category:Identity Mappings.

The **identity mapping** of a set $S$ is the self-map $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: \map {I_S} x = x$

## Pages in category "Definitions/Identity Mappings"

The following 2 pages are in this category, out of 2 total.