Se dice que formula_2 es una relación de equivalencia si cumple las siguientes propiedades: