\begin{definition}[Definition:Ring of Integers]
The '''ring of integers''' $\struct {\Z, +, \times}$ is the set of integers under the two operations of integer addition and integer multiplication.
\end{definition}