\begin{definition}[Definition:Sigma-Finite Measure Space]
A measure space $\left({X, \Sigma, \mu}\right)$ is said to be '''$\sigma$-finite''' (or '''sigma-finite''') iff $\mu$ is a $\sigma$-finite measure.
\end{definition}