Every Measure Space has a Completion

Existence of Smallest σ-algebra

Lebesgue Measurable σ-algebra