Completion Theorem (Measure Space)

Theorem
Let $\left({X, \Sigma, \mu}\right)$ be a measure space.

Then there exists a completion $\left({X, \Sigma^*, \bar \mu}\right)$ of $\left({X, \Sigma, \mu}\right)$.