El conjunto de clases de equivalencia de lazos forma entonces un grupo (el grupo fundamental de "X").