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.

♣