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.

♣

• ↓Alárendelt lap:Bizonyítás