a_11为一集合，formula_44是formula_11的包含空集的子集族，formula_46是formula_44上的非负扩展实数值函数，且formula_46 在空集处取零。那么定义则formula_50是一个外测度。另一种方法在度量空间上更有效，因为它直接得到了度量外测度。设 formula_32是一个度量空间，formula_44是formula_11的包含空集的子集族，formula_46是formula_44上的非负扩展实数值函数，且formula_46在空集处取零。那么，对任