超度量

超度量是满足以下更强形式的度量，三角不等式的度量，

对于所有 。 、 和 中至少有两个是相同的。

设 为一个集合，令 （其中 N 是集合 自然数）表示 元素序列的集合（即，所有可能的序列 、、、...）。对于序列 、，令 为序列开始处一致的位置数，即 、、...、，但 。如果 ，则取 。然后定义 给出超度量。

p-adic 范数度量是超度量的另一个例子。