Sea formula_9 un conjunto no vacío y sea formula_13 el conjunto