定義
X を局所コンパクト空間とする。
L を M+(X) (過去スレ007の715) の任意の元とする。
λ を L から誘導された容量(過去スレ007の920)とし、
μ^* を λ から誘導された外測度(>>17)とする。

μ^* を L から誘導された外測度と言う。

(μ^*)-可測(過去スレ007の768)な集合全体を Φ(L) と書く。

>>25 より、Φ(L) は Borel 集合全体を含む。

μ^* を Φ(L) に制限したものを、L から誘導された測度と言う。