[ Number ] < [ Number ]

☞ x ≔ 8 < 7.
☞ y ≔ 7 < 8.
✎ write: x, stop.
✎ write: y, stop.
False
True