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