A természetes számok rendezése

Amennyiben az $\N$ halmaz tetszőleges $a$ és $b$ elemeihez létezik olyan $k$ szintén $\N$-beli elem, amelyre teljesül, hogy $a+k=b$, akkor azt mondjuk, hogy $a\leq b$. Kiolvasva: "$a$ legfeljebb $b$" vagy "$b$ legalább $a$". A $\leq$ relációt a természetes számok rendezésének nevezzük.

Ha ezen kívül $k\neq 0$ is teljesül, akkor azt mondjuk, hogy $a\lt b$. Kiolvasva: "$a$ kisebb $b$" vagy "$b$ nagyobb $a$".

Fordított irányú relációk esetén értelemszerűen használhatjuk a $\geq$ vagy a $\gt$ szimbólumokat is.

♣