Es seien ( X , x 0 ) {\displaystyle {}(X,x_{0})} und ( Y , y 0 ) {\displaystyle {}(Y,y_{0})} (punktierte) topologische Räume und seien f , g : ( X , x 0 ) → ( Y , y 0 ) {\displaystyle {}f,g\colon (X,x_{0})\rightarrow (Y,y_{0})} zueinander homotope stetige Abbildungen.
Dann ist
