Definition
Suppose
are smooth manifolds of dimensions
and
are two smooth immersions. An isotopy from
to
is a map
such that the following hold:
is a smooth map
and
: In other words
is a homotopy from
to 
- For each
, the map from
to
given by
is an immersion
Facts