Definition:Path-Connected Points