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:
[...] (1) Die Kongruenz modulo m ist reflexiv , da für alle a aus ℤ gilt: a ≡ a ( m ) ( w e g e n a − a = 0 ⋅ m ) (2) Die Kongruenz modulo m [...]
https://www.lernhelfer.de/schuelerlexikon/mathematik-abitur/artikel/restklassen