An D4361: Unsigned basic function $\mu : \mathcal{F} \to [0, \infty]$ is an unsigned basic measure on $M$ if and only if
(1) | \begin{equation} \mu(\emptyset) = 0 \end{equation} |
(2) | \begin{equation} \forall \, E_0, E_1, E_2, \dots \in \mathcal{F} \left( \forall \, n, m \in \mathbb{N} \left( n \neq m \quad \implies \quad E_n \cap E_m = \emptyset \right) \quad \implies \quad \mu \left( \bigcup_{n \in \mathbb{N}} E_n \right) = \sum_{n \in \mathbb{N}} \mu(E_n) \right) \end{equation} |