Completion of a measure
= Completion of a measure
{wiki=Complete_measure}
The completion of a measure space adjoins every subset of every measurable null set to its <sigma-algebra>. A statement that two events or σ-algebras agree modulo null sets becomes literal after passing to the corresponding measure-algebra completion.