Base point
= Base point
{title2=$x_0\in X$}
A <base point> is a distinguished point $x_0$ of a <topological space> $X$, making $(X,x_0)$ a <based space>. A <based loop> starts and ends at that point, and a map of <based spaces> must preserve the distinguished points.