Definition:Path-Connected Metric Space