Sea formula_145 una familia de subconjuntos de un conjunto formula_1.