定義
G をアーベル群で同時に関係 ≦ により順序集合であるとする。
x ≦ y のとき x + z ≦ y + z が G の任意の元 z で成り立つとき
G をアーベル順序群(過去スレ004の519)という。
アーベル順序群は可換順序群とも言う。