the number "n" is called the modulus. another definition of congruence, that means the same thing but is sometimes more useful, is that the two integers are congruent modulo n if the difference ("a" - "b") is an integer multiple of "n". that is, if "n" is a factor of ("a" - "b"), then "a" and "b" are congruent mod "n".