Sea formula_45 un conjunto y formula_41 una colección de subconjuntos de formula_45.