Bajo estas definiciones, se tiene que formula_1 es conexo si y solamente si es un espacio topológico conexo para la topología traza.