Насыщенная мера

В математике, мера называется насыщенный, если каждый локально измеримый набор также измерим. Набор $E\; \{\backslash \; displaystyle\; E\}$, не обязательно измеримый, называется локально измеримым, если для каждого измеримого набора $A\; \{\backslash \; displaystyle\; A\}$конечной меры, $E\; \cap \; A\; \{\backslash \; displaystyle\; E\; \backslash \; cap\; A\}$измеримо. $\sigma \; \{\backslash \; displaystyle\; \backslash \; sigma\}$-конечные меры и меры, возникающие как ограничение внешних мер, являются насыщенными.

.