命題
X を局所コンパクト空間とする。
λ を X の容量(過去スレ007の723)とする。
μ^* を λ から誘導された外測度(>>17)とする。

外測度が有限な集合 E が可測であるためには、
E が準可測(>>61)であることが必要十分である。

証明
>>30 と >>63 より明らかである。