Tegyük fel, hogy R és S tetszőleges gyűrűk, valamint adva van közöttük egy f:R\to S gyűrűhomomorfizmus. Amennyiben az R gyűrű valamilyen a és b elemeire teljesül, hogy f(a)=f(b), akkor azt mondjuk, hogy a és b kongruensek az f gyűrűhomomorfizmus szerint. Ezt a relációt így jelöljük:
a\equiv b\pod fAmennyiben a és b között nem áll fenn az imént definiált f szerinti kongruencia, akkor őket inkongruensnek nevezzük az f gyűrűhomomorfizmus szerint. Ezt így jelöljük:
a\ \cancel{\equiv}\ b\pod f