Sea formula_113 una partición de un conjunto formula_114.