Order on the natural numbers

Summary

The order on the natural numbers is the relation $\le$ on $\mathbb{N}$. Here $a \le b$ means that $a$ comes at or before $b$ when we count. It is a total order, and $0$ is its least element.