Let be paths with common endpoints, i.e. and .
Then a homotopy of paths is a homotopy of maps with the additional constraint that the endpoints are the same for all , #m/def/homotopy i.e. with
This is equivalent to homotopy relative .
Homotopy classes of paths are the morphisms of the Fundamental groupoid.