ℤ valued function

Function

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

Discussion

Parents

Subset of

ℚ valued function

Requirements

Integer