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.