Algebraic Topology/The fundamental group

Definition (fundamental group):

Let be a topological space and let . The fundamental group of based at is the group of homotopy equivalence classes of loops at leaving the endpoints fixed

where the group law is given by concatenation of paths.