Definition:Integral Multiple/Real Numbers

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

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