Sea X un espacio topológico disconexo, con una división dada por A y B.