---
tag: 0HNATXFEV5
kind: concept
name: Order on the natural numbers
msc: [03F30]
sources:
  - url: https://en.wikipedia.org/wiki/Natural_number
    locator: Order
---

## 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.