Saturated measure

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 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.