Homotopía de cadenas: definición, relación de equivalencia y significado