x_{1} belongs to conjugacy class x_{2} in structure x_{3} under conditions x_{4}

- modju
- x
_{1}(li; number) is congruent to x_{2}(li; number; see description for canonical/traditional/contextless default usage) modulo x_{3}(li; number); \frac(x_{1 - x}is an integer.