▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
▾ Map
▾ Cartesian product
▾ Set of maps
Evaluation map
Formulation 0
Let $Y^X$ be a D68: Set of maps such that
(i) \begin{equation} X \neq \emptyset \end{equation}
The evaluation map on $Y^X$ with respect to $x \in X$ is the D18: Map \begin{equation} Y^X \mapsto Y, \quad f \mapsto f(x) \end{equation}