This theorem shows that being joinable by a path is an [equivalence relation](/page/Equivalence%20Relation) on a [topological space](/page/Topological%20Space). Its equivalence classes are the path components, and every path connected subset lies inside one of them.