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.