homotopy equivalence

equivalence relation on topological spaces