Kongruenssin idea: luvut a ja b ovat kongruentit jaettaessa n:llä, jos niiden erotus a-b on jaollinen n:llä. Tai jos niillä on sama jakojäännös jaettaessa n:llä.

Merkitään kolmois-yhtäkuin merkillä:

[[$ a\equiv b(mod \; n) $]] Luetaan "luvut a ja b ovat kongruentit modulo n"

Mihin tätä kummajaista tarvitaan? Esim. lukujen jaollisuuden ja vaikka ISON luvun viimeisen numeron selvittämiseen. Nimittäin kun lasketaan kongruenteilla luvuilla, niin laskuissa summien yhteenlaskettavat, tulojen tekijät ja potenssien kantaluvut voidaan korvata yksinkertaisimmilla kongruenteilla luvuilla (siis yleensä jakojäännöksillä tai -1:llä jaettaessa n:llä)

Ps. tämä mod on eri asia kuin ohjelmointikielten mod-funktio jonka avulla saadaan luvun jakojäännös. Tosin liittyyhän kongruenssikin jakojäännöksiin..
_{t. Pete}