Jabarkan . dari Gelanggang hasil bagi

Kelas kesetaraan ini terkadang juga ditulis sebagai  dan disebut "kelas residu dari  modulo ".

Himpunan dari semua kelas ekivalen dilambangkan dengan ; maka akan menjadi sebuah gelanggang, gelanggang faktor atau gelanggang hasil bagi dari  modulo , jika didefinisikan