 Lebesgue sigma-algebra

The sigma-algebra of all Lebesgue measurable sets, equivalently the completion of a measure of the Borel sigma-algebra under Lebesgue measure. It contains every subset of every Lebesgue null set. Applying Carathéodory's criterion to Lebesgue outer measure gives another construction of this same sigma-algebra.