Esto contesta a una buena pregunta: si toda intersección (no sólo las intersecciones finitas) de conjuntos abiertos es abierta.