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 \mathrel \backslash y \iff \exists t \in \Z: y = t \times x$

where $\Z$ is the set of integers.

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

Notation
If $x \mathrel \backslash y$, then:
 * $x$ is a divisor of $y$
 * $y$ is a multiple of $x$
 * $y$ is divisible by $x$

In the field of geometry, in particular:
 * $x$ measures $y$

To indicate that $x$ does not divide $y$, we write $x \nmid y$.

Also known as
A divisor is also known as a factor.