\begin{definition}[Definition:Divisor (Algebra)/Natural Numbers]
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$
\end{definition}