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

X の部分集合 E が可測であるためには、
任意のコンパクト集合 K に対して
E ∩ K が準可測(>>61)であることが必要十分である。

証明
>>64 と >>57 より明らかである。