Voorbeeld
In Q[X] zijn de veeltermen 1 + X +
2X2 - 3X5
en 1 + X - X4 congruent modulo X2,
omdat het verschil 2X2 + X4 -
3X5 van de veeltermen een veelvoud
is van X2, immers 2X2 +
X4 - 3X5 =
X2(2 + X2 - 3X3).
De veeltermen 1 + X + X2 en
1 - X + 3X3 zijn niet congruent modulo
X2, omdat het verschil 2X niet deelbaar is door
X2. In Q[X] zijn X4 - 4
en 0 congruent modulo X2 - 2, omdat X2 - 2
een deler is van X4 - 4.