fundamental group

Short definition from Wiktionary

Noun

1. 1
   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.