Gelanggang terurut itu apa sih?

Dalam aljabar abstrak, gelanggang terurut adalah gelanggang R (biasanya komutatif) dengan urutan total ≤ sedemikian rupa sehingga untuk semua a, b, dan c di R berlaku:

jika a ≤ b maka a + c ≤ b + c.

jika 0 ≤ a dan 0 ≤ b maka 0 ≤ ab.