Счётно-аддити́вная фу́нкция множеств, аддитивная функция множеств, определённая на алгебре $\Sigma$ подмножеств множества $M$, такая что

$$\mu\left(\bigcup_{i=1}^\infty E_i\right) = \sum_{i=1}^\infty \mu(E_i)$$для любых непересекающихся множеств $E$ из $\Sigma$.