A loop is a path ppp such that p(0)=p(1)p(0) = p(1)p(0)=p(1). This point is called the basepoint of the loop.
Wikidata ID: Q4558786