» Set of symbols
» Alphabet
» Deduction system
» Theory
» Zermelo-Fraenkel set theory
» Set
» Binary Cartesian set product
» Binary relation
» Map
» Identity map
Canonical identity map
Formulation 0
A D18: Map $f : X \to Y$ is a canonical identity map on $X$ if and only if
(1) \begin{equation} \forall \, x \in X : f(x) = x \end{equation} (D440: Identity map)
(2) \begin{equation} X = Y \end{equation}