Restklassen
Jede positive ganze Zahl m gestattet es, in der Menge ℤ der ganzen Zahlen eine Relation der folgenden Art zu definieren: Sind a und b ganze Zahlen, so heißt a kongruent b modulo m , wenn ihre Differenz a − b ein ganzzahliges Vielfaches q ⋅ m von m ist.
Aus dem Inhalt:
[...] Dabei ist es von Bedeutung, dass für jede ganze Zahl m > 0 durch die Relation a ≡ b mod m eine Äquivalenzrelation in ℤ gegeben ist, die ℤ in Äquivalenzklassen aufteilt. [...]
https://www.lernhelfer.de/schuelerlexikon/mathematik-abitur/artikel/restklassen