12.22. Tétel
Természetes számok rendezési relációja trichotóm
A 12.15. Definíció szerinti \leq reláció trichotóm, azaz az \N halmaz tetszőleges a és b elemére teljesül, hogy az a\leq b és b\leq a relációk közül legalább az egyik fennáll.
♣
12.22. Tétel
A 12.15. Definíció szerinti \leq reláció trichotóm, azaz az \N halmaz tetszőleges a és b elemére teljesül, hogy az a\leq b és b\leq a relációk közül legalább az egyik fennáll.
♣