\begin{definition}[Definition:Integers Modulo m]
Let $m \in \Z$ be an integer.
The '''integers modulo $m$''' are the set of least positive residues of the set of residue classes modulo $m$:
:$\Z_m = \set {0, 1, \ldots, m - 1}$
\end{definition}