 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.