Sea formula_13 un conjunto no vacío.