Sea formula_7 un conjunto, formula_307 una partición de formula_7, y formula_305 un elemento de la partición.