Weźmy a , b i m będące liczbami całkowitymi, gdzie m > 0 {\displaystyle m>0} . Liczby całkowite a i b przystają modulo m, co zapisujemy a ≡ b ( mod m ) {\displaystyle a\equiv b{\pmod {m}}} , jeśli ich różnica a-b dzieli się bez reszty przez m.