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