順序環

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