写像fが点p∈Mにおいて沈め込みであるとは、微分Dfp:TpM→Tf(p)N{\displaystyleDf_{p}\colonT_{p}M\toT_{f(p)}N\,}が全射線型写像であることをいう。
映射f在点p的导数是一个线性映射dpf:TpM→Tf(p)N{\displaystyled_{p}f:T_{p}M\toT_{f(p)}N\,}从点p的切空间到点f(p)的切空间。