fundamental group

{{topology}} The group whose elements are homotopy classes of images of the closed interval in a specified topological space, such that the endpoints are both mapped to a designated point, and whose operation is concatenation.