A relational symbol denoting circular equality or congruence modulo cyclic permutations in abstract algebra and group theory.

A relational symbol denoting circular equality or congruence modulo cyclic permutations in abstract algebra and group theory.