Definition:Path-Connected Set (Topology)