\begin{definition}[Definition:Divisor (Algebra)/Integer]
Let $\struct {\Z, +, \times}$ be the ring of integers.
Let $x, y \in \Z$.
Then '''$x$ divides $y$''' is defined as:
:$x \divides y \iff \exists t \in \Z: y = t \times x$
\end{definition}