\begin{definition}[Definition:Multiple/Integral Domain]
Let $\struct {D, +, \circ}$ be an integral domain.
Let $x, y \in D$.
Let $x$ be a divisor of $y$.
Then $y$ is a '''multiple''' of $x$.
\end{definition}