"partially ordered commutative group" . . . "partially ordered commutative group" .