はめ込み
多様体 M から N への2つのはめ込み f と g の間の正則ホモトピー(英語版)は次のような可微分関数 H: M × [0, 1] → N と定義される:すべての t ∈ [0, 1] に対して,すべての x ∈ M に対して Ht(x) = H(x, t) によって定義される関数 Ht: M → N ははめ込みで,H0 = f, H1 = g である.正則ホモトピーはしたがってはめ込みを通したホモトピーである.