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}

Definition D197

Finite measure

Formulation 0

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}

A D85: Unsigned basic measure $\mu : \mathcal{F} \to [0, \infty]$ is a

Children

▶ | D198: Probability measure |

▶ | D5376: Set of finite unsigned basic measures |

▶ | D1697: Sigma-bounded measure |

Results

▶ | R3939: Upper and lower bounds for codomain set of finite unsigned basic measure |