Definida en formula_4 la siguiente relación de equivalencia: formula_5.