命題
(X, Φ, μ) を測度空間とする。
μに関して局所可測(>>376)な X の部分集合全体 Φ~ は Φ を含むσ-集合代数である。