A D18: Map $f : X \to Y$ is a positive integer function if and only if \begin{equation} Y \subseteq \{ 1, 2, 3, \ldots \} \end{equation}