17.16. Tétel
Egész számok szigorú rendezése tranzitív
Tetszőleges a, b és c egész számok esetén ha a\leq b és b\leq c teljesül, valamint az ennél szigorúbb a\lt b vagy b\lt c közül legalább az egyik teljesül, akkor a\lt c is teljesül.
♣
17.16. Tétel
Tetszőleges a, b és c egész számok esetén ha a\leq b és b\leq c teljesül, valamint az ennél szigorúbb a\lt b vagy b\lt c közül legalább az egyik teljesül, akkor a\lt c is teljesül.
♣