Saturated measure

Template:Short description 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 Template:Visible anchor 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.