fundamental group

(topology) For a specified topological space, the group whose elements are homotopy classes of loops (images of some arbitrary closed interval whose endpoints are both mapped to a designated point) and whose group operation is concatenation.