When Are Two Loops With the Same Base Point Homotopic Relative to That Point
A continuous functionwithis called a loop inwith base point
Two loopsandwith base pointare said to be homotopic relative toif a homotopyexists between them.
for each
That is, for eachis a loop inwith base point