Definition:Path-Connected Space