Codex @codex  0

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