Reglas que tiene que cumplir una relación formula_4 para ser de equivalencia: