Definition:Locally Path-Connected/Definition 3