定義
(X, Φ, μ) を測度空間とする。
μに関して局所可測(>>376)な X の部分集合全体を Φ~ とする。
Φ~ = Φ のとき μ を充満(saturated)な測度と言い、(X, Φ, μ) を充満な測度空間と言う。