x_{1} is the division-remainder of "x_{2}/x_{3}" with quotient x_{4} // x_{1} = x_{2} modulo x_{3}

"x_{1} == x_{2} % x_{3}" in many programming languages.

- dilcymu'o
- x
_{1}(number) is fully divisible by x_{2}(number) // "x_{1}/x_{2}" is an integer // x_{2}is a factor of x_{1} - 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.