One of the Eilenberg-Steenrod Axioms which states that, if is homotopic to , then their Induced Maps and are the same.