This theorem says that any [topological space](/page/Topological%20Space) in which every two points can be joined by a path is connected. It is a basic bridge from the stronger notion of [path connectedness](/page/Path%20Connectedness) to ordinary connectedness.