 Lebesgue outer measure

The resulting Lebesgue measure is the restriction of this outer measure to the sets satisfying the measurability criterion.

Lebesgue outer measure on $\mathbb{R}$ iswhere the infimum is over countable interval covers. The Caratheodory measurability criterion selects the Lebesgue-measurable sets.