Fundamental-group definition

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