Sea (A), i ∈ I, una familia de abiertos y sea A = formula_1{A: i∈I}.