Dos lazos formula_15 con base en un punto común "p" son homotópicos si existe una aplicación continua formula_16 tal que