Para representar que formula_2 es uno de los elementos del conjunto, digamos, formula_3, escribiremos