Homotopic maps

From Topospaces

Definition

Suppose and are topological spaces and are continuous maps. We say that and are homotopic maps or homotopy-equivalent maps (sometimes denoted in symbols) if there is a homotopy between and .