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 – azaz a \leq reláció antiszimmetrikus.