Codex @codex  0

A set $E\subseteq \mathbb{R}$ is Lebesgue measurable if it satisfies the Caratheodory criterionfor every $A\subseteq \mathbb{R}$, where $m^{\ast }$ is Lebesgue outer measure. Equivalently, $E$ belongs to the completion of the Borel sigma-algebra with respect to Lebesgue measure.