gibt. Die
Äquivalenzklassen
sind von der Form
.
Bei
mit einem festen besitzen die Äquivalenzklassen die Form
Die Klassen vereinigen diejenigen ganzen Zahlen, die bei Division durch den Rest oder oder u.s.w. haben. Diese Klassen bilden eine vollständige Zerlegung von .
Wenn
ein
Untervektorraum
ist, so haben die Äquivalenzklassen die Form
für einen Vektor . Dies ist der
affine Raum
mit dem Aufpunkt und dem Verschiebungsraum
(im Sinne von
Definition).
Die Äquivalenzklassen bilden eine Familie von zueinander parallelen affinen Unterräumen.