[ Číslo ] < [ Číslo ]

☞ x ≔ 8 < 7.
☞ y ≔ 7 < 8.
✎ píšu: x, zastávka.
✎ píšu: y, zastávka.
Nepravdivý
Pravdivý