Sea formula_2 un conjunto dentro de un conjunto universo formula_1.