两整数a和b的差是正整数m的整数倍时，称a和b对于模m是同余的，记作：a≡b(mod m)。例如，7≡1(mod 3)。