[ Tooj ] ≤ [ Tooj ]

☞ x ≔ 8 ≤ 7.
☞ y ≔ 7 ≤ 8.
✎ sau ntawv: x, tsum.
✎ sau ntawv: y, tsum.
Tsis tseeb
Muaj tseeb