La relación formula_18 es una relación de equivalencia en formula_19.