Linearly ordered group

ID: linearly-ordered-group

A **linearly ordered group** is a mathematical structure that combines the properties of a group with those of a linear order. More specifically, it is a group \( G \) equipped with a total order \( < \) that is compatible with the group operation.

New to topics? Read the docs here!