Изотопия — это гомотопия ${\displaystyle f_{t}:X\to Y,t\in [0,1]}$, для которой при любом ${\displaystyle t}$ отображение ${\displaystyle f_{t}}$ является гомеоморфизмом ${\displaystyle X}$ на ${\displaystyle f(X)\subset Y}$.