Dado que todos ellos están incluidos en formula_42, por otra parte el conjunto formula_46 no es abierto, y por esa razón el mayor conjunto abierto posible contenido en él es formula_47.