In topology for two topological spaces X and Y two continuous maps f,g:X→Y are called homotopic if there is a continuous map F:X×[0,1]→Y such that f(x)=F(x,0) and g(x)=F(x,1) for all x in X.