Es fácil comprobar que formula_6 es una relación de equivalencia y, por tanto, puede considerarse el conjunto cociente formula_7 que denotaremos por formula_8.