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