ℕ valued function

Function

context $ X $
definiendum $ \mathrm{it}\equiv X \to \mathbb N $

Discussion

Parents

Subset of

ℤ valued function

Requirements

Natural number