text: Два вложения f 0 , f 1 : X → Y {\displaystyle f_{0},f_{1}:X\to Y} называются объемлюще-изотопными, если существует изотопия F t : Y → Y {\displaystyle F_{t}:Y\to Y} , для которой F 0 = i d {\displaystyle F_{0}=id} и F 1 ( f 0 ( X ) ) = f 1 ( X ) {\displaystyle F_{1}(f_{0}(X))=f_{1}(X)} .