Divisibility of Natural Numbers

Let $a,b\in\mathbb{N}$, where $\mathbb{N}$ is the set of natural numbers with multiplication $\cdot$ as in that definition.

We say that $a$ divides $b$, written

$$a\mid b,$$

if there exists $c\in\mathbb{N}$ with $b=a\cdot c$.