Legyen R tetszőleges gyűrű, valamint I valamilyen ideál R-ben. Ekkor a 18.20. Definícióban bevezetett I szerinti kongruencia egy ekvivalenciareláció az R gyűrű elemei között. Az ehhez tartozó ekvivalencia-osztályokat I szerinti (modulo I) kongruenciaosztályoknak vagy I szerinti (modulo I) maradékosztályoknak nevezzük.

Ha r egy tetszőleges elem az R gyűrűben, akkor az r elemet tartalmazó modulo I maradékosztály épp az r+I halmaz lesz. Ilyenkor azt mondjuk, hogy az r elem reprezentálja az r+I maradékosztályt.