Gelanggang terurut

Dalam aljabar abstrak, gelanggang terurut adalah gelanggang R 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.