\begin{definition}[Definition:Finite Measure]
Let $\mu$ be a measure on a measurable space $\struct {X, \Sigma}$.
Then $\mu$ is said to be a '''finite measure''' {{iff}}:
:$\map \mu X < \infty$
\end{definition}