Isotopy Extension Theorem

A result in geometric topology that, under appropriate regularity and compactness hypotheses, any isotopy of a subspace or submanifold inside a manifold extends to an ambient isotopy of the whole manifold; equivalently, a deformation of the inclusion can be realized by a deformation of the ambient identity map supported in a neighborhood of the subspace.