Cyclically ordered group (source code)

= Cyclically ordered group
{wiki=Cyclically_ordered_group}

A cyclically ordered group is a mathematical structure that extends the concept of a group by introducing a specific type of total order compatible with the group operation. More formally, a cyclically ordered group is a group \\( G \\) equipped with a binary relation \\( \< \\) that satisfies certain conditions to ensure that the order is "cyclic.