定義
G を可換順序群(>>760)とする。
G が順序集合として上向きの有向集合(過去スレ008の140)のとき、
G を可換有向順序群と言う。