Let $X$ be a topological space and let $x \in X$. Denote by $\pi_1(X,x)$ the set of equivalence classes of loops at $x$ under homotopy equivalence of paths. This is called the fundamental group of $X$ at $x$.
Wikidata ID: Q662830