Definition:Path-Homotopic