12.20. Tétel
Természetes számok rendezési relációja antiszimmetrikus
A 12.15. Definíció szerinti \leq reláció antiszimmetrikus, azaz az \N halmaz tetszőleges a és b elemére teljesül, hogy a\leq b és b\leq a együttes fennállása esetén szükségképpen a=b.
♣