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}
▶ | D198: Probability measure |
▶ | D5376: Set of finite unsigned basic measures |
▶ | D1697: Sigma-bounded measure |
▶ | R3939: Upper and lower bounds for codomain set of finite unsigned basic measure |