はめ込み
はめこみ理論の遠大な一般化はホモトピー原理(英語版)である:はめこみの条件(微分の階数がつねに k)は,関数の偏微分のことばで述べられるから,偏微分関係式(英語版) (partial differential relation, PDR) と考えることができる.すると Smale–Hirsch のはめ込み理論はこれがホモトピー論に帰着されるという結果であり,ホモトピー原理は PDR がホモトピー論に帰着する一般の条件や理由を与える.