Definition
Sei ein Kommutativer Ring, ein Ideal und . Dann nennen wir die Menge die Nebenklasse von modulo . Die Menge aller Nebenklassen von Elementen aus bezeichnen wir mit
Mit dem Modulo kann man herausfinden, ob zwei elemente in der gleichen Nebenklasse liegen