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

過去スレ007の778 より、
(μ^*)-可測(過去スレ007の768)な集合全体 Φ は σ-集合環であり、
μ^* を Φ に制限したものは Φ における測度である。
>>25 より Φ は Borel 集合(過去スレ007の212)全体を含む。

>>27 より、μ^* を Borel 集合(過去スレ007の212)全体に制限したものは
Borel 測度(>>18)である。