Definition:Locally Path-Connected