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

X の部分集合 E が (μ^*)-可測(過去スレ007の768)であるためには
任意の開集合 U に対して

μ^*(U) ≧ μ^*(U ∩ E) + μ^*(U ∩ E^c)

となることが必要十分である。

証明
過去スレ007の847と同様である。