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.
New to topics? Read the docs here!