Los elementos de este grupo, llamado grupo fundamental de X relativo al punto base p, son clases de equivalencia de lazos (curvas cerradas) con origen en el punto "p".