In mathematics, a measure is said to be saturated if every locally measurable set is also measurable.[1] A set , not necessarily measurable, is said to be a locally measurable set if for every measurable set of finite measure, is measurable. -finite measures and measures arising as the restriction of outer measures are saturated.


  1. ^ Bogachev, Vladmir (2007). Measure Theory Volume 2. Springer. ISBN 978-3-540-34513-8.