El grupo fundamental de un espacio topológico formula_21 basado en un punto formula_22, notado como formula_1, es el conjunto de clases de homotopía de curvas cerradas con la operación yuxtaponer clases.