homotopy equivalent spaces

Let \((X,\mathcal{T}_X)\) and \((Y,\mathcal{T}_Y)\) be topological spaces. Then \(X\) and \(Y\) are said to be homotopy equivalent, if there exists a Homotopy equivalence \(f\) between those