Un conjunto conexo es un subconjunto formula_1 de un espacio topológico formula_2 (donde formula_3 es la colección de conjuntos abiertos del espacio topológico) que no puede ser expresado como unión disjunta de dos conjuntos abiertos no vacíos de la topología.