dilcrmadjulu fu'ivla

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.


In notes:

modju
x1 (li; number) is congruent to x2 (li; number; see description for canonical/traditional/contextless default usage) modulo x3 (li; number); \frac(x1 - x is an integer.