x1 (li) is congruent to x2 (li) modulo x3 (li)
x1 and x2 are - strictly/technically speaking - symmetric, but typically and canonically, x2 will be a number between 0 and x3 - 1 (inclusive on both ends) whereas x1 can be any number in the algebraic object being considered.