(0)=0且"η"为严格递增的连续函数），使得"X"中任何三点"x", "a", "b"若满足其中"t" > 0，则有若"f"是一个"L"-双利普希茨嵌入，可令formula_17，则"f"是"η"-拟对称嵌入。双利普希茨嵌入的一个相关概念是拟等距嵌入。拟等距嵌入虽名为嵌入，却不一定是嵌入，因其未必是单射。
代数.
域论.域论上，从一个域"E"到另一个域"F"中的一个嵌入，是一个环同态σ: "E" → "F"。因为环同态的核是一个理想，而域的理想只有0