Lazo reducible

Un lazo c:I→ X se dice reducible si existe una homotopía h:I x [ 0,1] → X tal que h(t,0) = c(t) y h(t,1) = x, en donde x es cierto punto de X. Intuitivamente, esto significa que se puede deformar al lazo c en forma continua hasta obtener un punto. Por ejemplo, cualquier lazo trazado en el plano es reducible, aunque no lo será un lazo trazado en torno al agujero de un toro.