12.17. Tétel
Természetes számok rendezési relációja tranzitív
A 12.15. Definíció szerinti \leq reláció tranzitív, azaz 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.
♣
12.17. Tétel
A 12.15. Definíció szerinti \leq reláció tranzitív, azaz 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.
♣