Definition:Multiple/Integral Domain

Definition
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$.

Also see

 * Definition:Multiple of Integer