===== ℤ 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]]