何三点"x", "a", "b"若满足其中"t" > 0，则有若"f"是一个"L"-双利普希茨嵌入，可令formula_17，则"f"是"η"-拟对称嵌入。双利普希茨嵌入的一个相关概念是拟等距嵌入。拟等距嵌入虽名为嵌入，却不一定是嵌入，因其未必是单射。
代数.
域论.域论上，从一个域"E"到另一个域"F"中的一个嵌入，是一个环同态σ: "E" → "F"。因为环同态的核是一个理想，而域的理想只有0及整个域本身，又σ(1)=1，故其核不能为整个域，即知核