An ordered group is a group with a (partial) order which the group operation preserves.
An ordered group is a group with a (partial) order which the group operation preserves. For more information, see this Wikipedia article.
An ordered group is a group with a (partial) order which the group operation preserves.
An ordered group is a group with a (partial) order which the group operation preserves. For more information, see this Wikipedia article.