MathGloss

Let XX be a topological space and let xXx \in X. Denote by π1(X,x)\pi_1(X,x) the set of equivalence classes of loops at xx under homotopy equivalence of paths. This is called the fundamental group of XX at xx.

Wikidata ID: Q662830