Sea formula_2 un conjunto cualquiera, y sea formula_62.