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

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

E の外測度 μ^*(E) と内測度(>>60)が一致するとき
E を準可測と言う。