Homotopy as a tool which generates topological invariants, it begins defining an equivalence relationship over functions which extends to spaces. So it allows us to define an equivalence relationship weaker than homeomorphism. ...