Remark

Equivalence modulo I generalizes both

Congruence mod n in Z

Congruence mod d in Q[X]

For a, b Z we have a = b mod n if and only if a - b (n).

For a, b Q[X] we have a = b mod d if and only if a - b (d).