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 \divides n \iff \exists p \in \N: m \times p = n$