\begin{definition}[Definition:Divisor (Algebra)/Real Number]
Let $\R$ be the set of real numbers.
Let $x, y \in \R$.
Then '''$x$ divides $y$''' is defined as:
:$x \divides y \iff \exists t \in \Z: y = t \times x$
where $\Z$ is the set of integers.
That is, that $y$ is an integer multiple of $x$.
\end{definition}