Let $M = (X, \mathcal{F})$ be a D1108: Measurable space.
A D85: Unsigned basic measure $\mu : \mathcal{F} \to [0, \infty]$ is a finite measure on $M$ if and only if \begin{equation} \mu(X) < \infty \end{equation}