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

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

μ^*(E) = 0 のとき E を (μ^*)-零集合または略して零集合と言う。

任意のコンパクト集合 K に対して
E ∩ K が (μ^*)-零集合になるとき
E を (μ^*)-局所零集合または略して局所零集合と言う。