ℕ_valued_function

Processing math: 100%

ℕ valued function

Function

context

$X$

definiendum

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

Discussion

Parents

Subset of

ℤ valued function

Requirements

Natural number