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

E を X の任意の部分集合とする。

sup {μ^*(K) | K ⊂ E, コンパクト集合 K } を E の内測度と言う。