Sigue de la definición que debe haber un par de abiertos A y B de X, tales