mI(a－b)表示m能够整除a与b的差。也就是说，a与b除以m的余数是相同的。也说“a与b关于m同余”。例如8I(27－19), 27除以8的余数是3, 19除以8的余数也是3。27与19关于8同余。
显然是m|(a-b)此时可以写作：a≡b (mod m)
