Två hela tal a och b sägs vara kongruenta modulo m (skrivs a≡b mod m) om division med m ger samma rest. Exempelvis är 23 och 11 kongruenta modulo 6 eftersom både 23 och 11 ger resten 5 vid division med 6.