Einfach gesagt
Die Operation Modulo
berechnet den Rest einer ganzzahligen Division durch . Alle Zahlen, die bei Division durch
den gleichen Rest ergeben, werden einer Menge, ihrer Restklasse, zugeordnet. Dabei gibt es genau mögliche Reste und damit auch Restklassen. Die Menge der Reste wird formal auch wie folgt notiert:
Für gegebenes
bezüglich der Äquivalenzrelation (diese nennt man auch Kongruenzrelation modulo n)
auf