定義
X を局所コンパクト空間とする。
λ を X の容量(過去スレ007の723)とする。
λ^* を λ から誘導された外測度(>>17)とする。
(λ^*)-可測(過去スレ007の768)な集合全体を Φ(λ) と書く。