定义 有限可加性

自然语言

给定非空集合 $X$ 和其上的σ代数 $\mathcal{M} \subset 2^X$
给定非负扩充实值集函数 $\mu : \mathcal{M} \to \overline{\mathbb{R}}_+ \cup \{0\}$
若 $\forall \{A_1,\cdots,A_n\} \subset \mathcal{M}$ 为两两不交子集类成立

$$ \bbox[5pt]{ \mu{\left(\bigcup_{k=1}^{n}{A_k}\right)} = \sum_{k=1}^{n}{\mu(A_k)} } $$

则称 $\mu$ 满足有限可加性