「よくわかる（幼女の）体と（幼女の）群」

幼女Bの任意の元yに対して、y=f(x)となる幼女Aの元xが必ず存在するとき、
fを幼女B（の顔）への全射という。
幼女Aの元x_1とx_2について、f(x_1)=f(x_2)⇒x_1=x_2が成り立つとき、
fを幼女B（の膣）への単射という。
fが全射かつ単射であるとき、幼女B（の顔と膣）への全単射という。

すべてのp∈Mについて、(df)_p:T_pM→T_f(p)Nが単射であるとき、
fは（幼女への）はめ込みであるという。
さらに、fがMからf(M)への同相写像であるとき、
fは（幼女への）埋め込みであるという。