para indicar que el objeto formula_2 es uno de los elementos del conjunto formula_3.