(Propiedad T.) Si H y K son dos subespacios separados (en el sentido de los espacios conexos, ninguno de ellos contiene puntos de acumulación del otro) entonces hay abiertos separando los conjuntos.