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}