1.NounAny system of arithmetic for integers which, for some given positive integer n, is equivalent to the set of integers being mapped onto the finite set {0, ... n} according to congruence modulo n, and in which addition and multiplication are defined consistently with the results of ordinary arithmetic being so mapped.