Example

If R = R[X,Y] and I = ({X - x, Y - y}) for certain x, y R, then f and g are congruent modulo I in R if and only if f(x,y) = g(x,y).