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 locally measurable set 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.