Least nonnegative residue
ID: least-nonnegative-residue
The least nonnegative residue of an integer modulo a positive integer modulus is the unique representative of its congruence class in . Euclidean division gives . For example, , so ; the integer congruence does not assert equality of those two integers.
New to topics? Read the docs here!