順序群

抽象代数学における（半）順序群（じゅんじょぐん、英: [partially] ordered group）は、両側移動不変な順序関係を付加的な構造として備えた群である。