Si existe una aplicación continua "F"("x","t") desde [0,1] × [0,1] a "X" tal que "f"("t") = "F"(0,"t") es un lazo y "g"("t") = "F"(1,"t") es también un lazo entonces se dice que "f" y "g" son equivalentes.