Let $M = (\Omega, \mathcal{F})$ be a D1108: Measurable space.
Let $\mathbb{P} : \mathcal{F} \to [0, \infty]$ be a D198: Probability measure on $M$.

Then \begin{equation} 0 \leq \mathbb{P} \leq 1 \end{equation}