Así, se define la siguiente relación de equivalencia formula_9 sobre formula_10: