isotopy
Let and be manifolds and the closed unit interval. A smooth map is called an isotopy if the restriction map is an embedding
for all .
In particular, a diffeotopy is an isotopy.
Remark. Given an isotopy , there exists a diffeotopy such that .