Infinite Measure is Measure

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

Then the infinite measure $\mu$ on $\left({X, \Sigma}\right)$ is a measure.