Linearly ordered group (source code)

= Linearly ordered group
{wiki=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.