Formulation on D4949: Basic natural number function
F9464
Formulation 0
Let $\mathbb{N}$ be the D225: Set of basic natural numbers.
A D18: Map $f : X \to Y$ is a basic natural number function if and only if $$Y \subseteq \mathbb{N}$$