Dos aplicaciones continuas formula_1 se dicen homotópicas si existe otra aplicación (continua también) formula_2 tal que: