Lebesgue outer measure ($m^{\ast }$)

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