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

**probability measure**on $M$ if and only if \begin{equation} \mu(X) = 1 \end{equation}

Definition D198

Probability measure

Formulation 0

Let $M = (X, \mathcal{F})$ be a D1108: Measurable space.

An D85: Unsigned basic measure $\mu : \mathcal{F} \to [0, \infty]$ is a**probability measure** on $M$ if and only if
\begin{equation}
\mu(X) = 1
\end{equation}

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

Children

▶ | D2282: Set of probability measures |

Results