Si los conjuntos A y B forman una division de un espacio topológico X y Y es un subespacio conexo de X, entonces Y es un subconjunto de A o un subconjunto de B.