Zenbakien teorian, kongruentzia terminoa bi zenbaki oso
eta
,
zenbaki arruntaz —modulua deiturikoa— zatitzerakoan, hondar berdina dutela adierazteko erabiltzen da. Honako notazio hau erabiliz:
![{\displaystyle a\equiv b{\pmod {m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad3dfcf6e055fce344fa935fbed43aacd9bcc613)
Honela irakurtzen da:
kongruente
modulu
.
eta
moduluarekiko kongruenteak dira, baldin eta soilik baldin
moduluak
eta
-ren arteko desberdintza zehazki zatitzen badu, hau da,
. Beste modu batera esanda,
eta
-k
-rekiko zatiketan, hondar bera uzten badute. Gainera, baiezta daiteke
zenbakia
-ren batura eta
-ren multiplo bezala idatzi daitekela,
denez,
izango da
batentzat eta orduan,
.