Basic positive integer function

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