kongruenssiluokkien
Kongruenssiluokat, eli modulo n -kongruenssiluokat, ovat keskeinen käsite lukuteoriassa. Ne perustuvat aritmeettiseen kongruenssiin, joka määritellään seuraavasti: kokonaisluvut a ja b ovat kongruentteja modulo n, jos niiden erotus a - b on jaollinen luvulla n. Tätä merkitään a ≡ b (mod n).
Kongruenssiluokka modulo n on kokoelma kokonaislukuja, jotka ovat keskenään kongruentteja modulo n. Jokainen kokonaisluku kuuluu täsmälleen
Modulossa n on siis aina täsmälleen n erilaista kongruenssiluokkaa, joita edustavat tyypillisesti jäännökset jaettaessa luvulla n,