Ordered groups (source code)

= Ordered groups
{wiki=Category:Ordered_groups}

In mathematics, specifically in group theory, an **ordered group** is a group that is equipped with a total order that is compatible with the group operation. This means that not only do the group elements have a way to be compared (one element can be said to be less than, equal to, or greater than another), but the group operation respects this order.