x_{1} (li) is congruent to x_{2} (li) modulo x_{3} (li)

x_{1} and x_{2} are - strictly/technically speaking - symmetric, but typically and canonically, x_{2} will be a number between 0 and x_{3 - 1} (inclusive on both ends) whereas x_{1} can be any number in the algebraic object being considered.

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