===== ℤ valued function ===== ==== Function ==== | @#55CCEE: context | @#55CCEE: $ X $ | | @#FFBB00: definiendum | @#FFBB00: $ \mathrm{it}\equiv X \to \mathbb Z $ | ==== Discussion ==== ==== Parents ==== === Subset of === [[ℚ valued function]] === Requirements === [[Integer]]