n を自然数 (1 以上の整数) とする.

整数 a, b に対して、 a − b が n で割り切れるとき

a と b は n を法として合同であるといい，a≡b (mod n)とかく