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}