Al contrario, cuando haya un subconjunto propio no vacío A de X que sea abierto–cerrado, se tendrá que X es