\begin{definition}[Definition:Associate/Integers]
Let $x, y \in \Z$.
Then '''$x$ is an associate of $y$''' {{iff}} they are both divisors of each other.
That is, $x$ and $y$ are '''associates''' {{iff}} $x \divides y$ and $y \divides x$.
\end{definition}