Kongruence modulo

Nechť
Pokud , říkáme, že je kongruentní s modulo , píšeme V opačném případě není kongruentní s modulo a píšeme .

Samotné nazýváme relací kongruence modulo . Číslo nazýváme modulo nebo modul, obvykle uvažujeme pouze .