Tenemos además las operaciones sobre conjuntos: si formula_1 y formula_10 son dos conjuntos, se definen