定義
(X, Φ, μ) を測度空間とする。
μ が半有限(>>380)で、任意の Γ ⊂ Φ が本質的上限(>>428)を持つとき
μ を局所化可能(localizable)と言う。