Sea formula_1 un subconjunto no vacío de formula_2.