Para indicar que el objeto formula_2 es un elemento del conjunto formula_1 escribiremos