Proposición 6.6

Enunciado

p define una relación de equivalencia. Denotaremos por [α] la clase de homotopía de un camino α.