Infinite Measure is Measure

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

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