Kongruens mellom to tall er en ekvivalensrelasjon for en gitt modulus som gjør det mulig å dele alle heltallene opp i ekvivalente klasser. Disse kalles da vanligvis for eller .