Complete measure
= Complete measure
{wiki}
A <measure> is complete when every <subset> of each <null set> is a <measurable set>. Such a subset also has measure zero by monotonicity. The <completion of a measure> extends it to a complete measure by adjoining all subsets of measurable null sets to its <sigma-algebra>.