Definition:Integral Multiple/Real Numbers

Definition
Let $x, y \in \R$ be real numbers.

Then $x$ is an integral multiple of $y$ :
 * $\exists n \in \Z: x = n y$

Also known as
An integral multiple is usually known, in this context, as an integer multiple.