命題
(X, Φ, μ) を完備かつ充満(>>378)な測度空間とする。
このとき μ の半有限部分(>>387) μ_0 は完備かつ充満である。