Az \N halmaz tetszőleges a és b elemére teljesül, hogy az a\leq b és b\leq a relációk közül legalább az egyik fennáll – azaz a \leq reláció trichotóm.