Az \N halmaz tetszőleges a, b és c elemére teljesül, hogy a\leq b és b\leq c együttes fennállása esetén a\leq c is fennáll – azaz a \leq reláció tranzitív.