Partially cyclically ordered group

Definition
A partially cyclically ordered group is a set $$G$$ equipped with two structures:


 * The structure of a group
 * The structure of a partially cyclically ordered set

such that both left and right multiplication maps by group elements preserve the partial cyclic ordering.