Definition, synonyms and related words
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.