Completion of a measure
= Completion of a 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.