若映射f:M→N为嵌入，且f:M→f(M)为微分同胚，则映射f:M→N称为正则嵌入。