Any system of arithmetic having an arbitrary but fixed modulus, in which all integers that have the same remainder when divided by the modulus are equivalent and are represented by that remainder.