数论中的重要概念。给定一个 正整数m，如果两个 整数a和b满足a-b能够被m整除，即(a-b)/m得到一个整数，那么就称整数a与b对 模m同余，记作a≡b(mod m)。对模m同余是整数的一个等价关系。