mula_2都等价于一个formula_1的概率测度。具体的构造方法是：令formula_46为全集formula_4的一个不交覆盖（划分），并且每个formula_48在formula_2下的测度都是有限的；再令formula_50为一个由正实数构成的数列，并且级数和那么以下方式定义的测度formula_52：就是一个与formula_2等价的概率测度，因为两者有着相同的零测集。