Definition:Divisor (Algebra)/Real Number

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

Part
A more old-fashioned term for divisor is part: