▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
▾ Map
▾ Identity map
▾ Canonical identity map
▾ Canonical identity function
Canonical real identity function
Formulation 0
The canonical real identity function is the D4364: Real function \begin{equation} \mathbb{R} \to \mathbb{R}, \quad x \mapsto x \end{equation}