Let $\mathbb{N}$ be the D225: Set of natural numbers.
A D18: Map $f : X \to Y$ is a natural number function if and only if \begin{equation} Y \subseteq \mathbb{N} \end{equation}