# Definition:Finite Measure

Let $\mu$ be a measure on a measurable space $\struct {X, \Sigma}$.
Then $\mu$ is said to be a finite measure if and only if:
$\map \mu X < \infty$