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!