定義
X を局所コンパクト空間とし、μ を X 上の Radon 測度(>>163)とする。
Y を X の局所閉集合(>>182)とする。
>>186 より Y は局所コンパクトである。

Φ を μ-可測な集合全体とする。
過去スレ007の260 より Φ|Y = { A ⊂ Y; A ∈ Φ} は
σ-集合環(過去スレ007の197)である。

μ を Φ|Y に制限したものを μ|Y と書く。
(Y, Φ|Y, μ|Y) は測度空間になる。