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