微分嵌入

_

differential embedding, differential insertion