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.
In order to be clear (in case of poor display), (x1 - x2)/x3 is an integer, possibly (but not necessarily) nonpositive. Traditionally, but not necessarily, x3 is a strictly positive integer (in particular, x3 is nonzero) and is called "(the) modulus"; if x3 = 1, then x1 and x2 differ only by an integer amount - in other words, they have the same fractional part. Technically, x1 and x2 are symmetric under mutual exchange and can even be equivalent; however, in a manner morally analogous to "srana", x2 is canonically/traditionally either the common residue (the unique element in the space which is congruent to x1 mod x3 and which is greater than or equal to 0 and strictly less than x3) or the minimal residue (denoting the common residue by c, the minimal residue is either c xor c - x3, whichever is strictly less than the other in absolute value), and this may even be considered as its contextless default meaning (such as in "lo se modju"). See also: dilcu, dunli, mintu, simsa, panra, dilma (a particularly close relative and generalization of this word with slightly different focus). This word is essentially identical with dilcrmadjulu; consider this word to be its gismu equivalent. It is not the modulus operator; for that, use 2/x3" with quotient x4 // x1 = x2 modulo x3">veldilcu or vei'u. It is a specific type of terpanryziltolju'i, although both occupy the word "modulo" in English. This word does not have direct access to "integer-part" but does to "fractional-part".