順序環
抽象代数学において、順序環（じゅんじょかん、）は、演算と両立するような全順序が定義された（通常は可換な）環を言う。即ち、 が順序環であるとき、任意の元 に対し、以下の二つが成り立つ。