Notar que esta construcción garantiza la existencia de este abierto maximal, pues la unión de abiertos es un abierto y el conjunto vacío siempre está contenido en "A".