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:
[...] m − 1 bilden ein vollständiges Repräsentantensystem der Klassen modulo m, welches das kleinste nichtnegative Repräsentantensystem genannt wird. Beweis (des obigen Satzes): Falls beide Zahlen bei der Division durch m [...]
https://www.lernhelfer.de/schuelerlexikon/mathematik-abitur/artikel/restklassen