Completion Theorem (Measure Space)

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

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