Lebesgue sigma-algebra (source code)

= Lebesgue sigma-algebra
{c}
{title2=$\mathcal L$}

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.