Es el mayor conjunto abierto incluido en A.