e/Saturated measure

Information
has gloss	eng: In mathematics, a measure is said to be saturated if every locally measurable set is also measurable. A set E, not necessarily measurable, is said to be locally measurable 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. References
lexicalization	eng: Saturated measure
instance of	c/Measures (measure theory)