Definition:Sigma-Finite Measure Space

Definition
A measure space $\struct {X, \Sigma, \mu}$ is said to be $\sigma$-finite (or sigma-finite) $\mu$ is a $\sigma$-finite measure.