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.

♣

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