順序環
抽象代数学において、順序環(じゅんじょかん、英: Ordered ring)は、演算と両立するような全順序が定義された(通常は可換な)環を言う。即ち、R が順序環であるとき、任意の元 a, b, c ∈ R に対し、以下の二つが成り立つ。
a ≤ b ならば a + c ≤ b + c.
0 ≤ a かつ 0 ≤ b ならば 0 ≤ ab.