Completion of a measure

Summary

The completion of a measure space adds to the σ-algebra every set that differs from a measurable set by a subset of a null set. The measure extends to these sets in only one way, and the result is the smallest complete extension. Lebesgue measure on the Lebesgue measurable sets is the completion of Lebesgue measure on the Borel sets.