ormula_7。更明确言之，对"M"中任何一点"x"，及任何两个切向量都有
度量空间.设"X", "Y"为度量空间，映射formula_10是一个拓扑嵌入。如果"f"和formula_11（定义在"f"("X")上）都是利普希茨连续，则称"f"为双利普希茨嵌入(bi-Lipschitz embedding)。换言之，如果存在常数formula_12，使得则称"f"为("L"-)双利普希茨嵌入。一个更广义的嵌入是拟对称嵌入(quasisymmetric embedding)