 Caratheodory measurability criterion

A set $E$ is measurable for an outer measure ${\mu }^{\ast }$ when every set $A$ is split additively by $E$:The measurable sets form a sigma-algebra, and the restriction of ${\mu }^{\ast }$ to it is a complete measure.