Saturated measure explained

In mathematics, a measure is said to be saturated if every locally measurable set is also measurable.^[1] A set

E , not necessarily measurable, is said to be a if for every measurable set A of finite measure, E \cap A is measurable. \sigma -finite measures and measures arising as the restriction of outer measures are saturated.

Notes and References

1. Bogachev, Vladmir (2007). Measure Theory Volume 2. Springer. .