a_11的每个Borel子集都是formula_24-可测的。
外测度的构造.有几种方法来构造一个集合上的外测度。下面两种是特别有用的。令formula_11为一集合，formula_44是formula_11的包含空集的子集族，formula_46是formula_44上的非负扩展实数值函数，且formula_46 在空集处取零。那么定义则formula_50是一个外测度。另一种方法在度量空间上更有效，因为它直接得到了度量外测度。设 formula_32是一个度量