Bisogna riflettere così: sono rispettate le tre proprietà delle relazioni di equivalenza (riflessiva, simmetrica, transitiva)?
Per esempio, guardiamo la proprietà riflessiva: se un generico polinomio P ∈ A, cioè P(x) = x + k per un k ∈ ℤ, possiamo dire che PℛP? Affinché questo sia vero, dovrebbe essere che P·P = x²-a²