Definition:Divisor (Algebra)/Natural Numbers

Definition
Let $\N$ be the natural numbers.

Let $n \in \N$ and $m \in \N_{>0}$.

Then $m$ divides $n$ is defined as:
 * $m \mathrel \backslash n \iff \exists p \in \N: m \times p = n$

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