Sea X un espacio topológico y sean A y B un par de subconjuntos propios abiertos disjuntos cuya reunión es X; lo que implica que X es disconexo.