Sea formula_1 un conjunto cualquiera y formula_51 el conjunto de sus partes.