可換有向順序群(>>809)は可換有向群とも言う。