Sea formula_9 un conjunto no vacío y sea formula_18, el