Completeness of Lebesgue measure (source code)

= Completeness of Lebesgue measure
{c}

Every subset of a <Lebesgue measure>[Lebesgue-null] set is <Lebesgue measurable set>[Lebesgue measurable] and has measure zero.