Luego, cuando en un conjunto X tenemos una familia de conjuntos formula_1 tal que: