Kongruentzia (zenbakien teoria): berrikuspenen arteko aldeak

[[Zenbakien teoria]]n, '''Kongruentzia''' terminoak bi [[zenbaki oso]]ren arteko [[baliokidetasun-erlazio]] bat adierazten du. Erlazio horrek bi zenbaki oso, <math>a</math> eta <math>b</math>, <math>m</math> [[zenbaki arrunt]]az —'''modulua''' deiturikoa— zatitzean [[Hondar (matematika)|hondarra]] bera dutela adierazten du; honako notazio hau erabiliz:

:<math> a \equiv b \pmod m</math>

 

Adierazpen hauek baliokideak dira:

* <math>a</math> kongruente <math>b</math> modulu <math>m</math>

* <math>a</math> zati <math>m</math>-ren hondarra <math>b</math> zati <math>m</math>-ren hondarra da

* <math>m</math>-k [[zatigarritasun-erregela|zehatz zatitzen du]] <math>a</math> eta <math>b</math>-ren kendura

* <math>a</math> idatz daiteke <math>b</math>-ren eta <math>m</math>-ren multiplo baten batura bezala

:<math>\exists k\in \mathbb{Z}\quad a=b+km</math>