定義
(X, Φ, μ) を測度空間とする。
μに関して局所可測(>>376)な X の部分集合全体を Φ~ とする。
>>391の (X, Φ~, μ~) または μ~ をそれぞれ (X, Φ, μ) または μ の充満化と呼ぶ。