 Based loop

A based loop in $(X,x_0)$ is a path $\alpha :[0,1]\to X$ whose two endpoints are $x_0$.