Fundamental group π₁(X, x₀)

The group of homotopy classes of loops at a basepoint x₀ under concatenation. Captures the '1-dimensional holes' of X. π₁(S¹) = ℤ.