Continuity from below

For increasing measurable sets, the measure of the union is the limit of the measures.
Continuity from below

Continuity from below: Let (X,Σ,μ)(X,\Sigma,\mu) be a and let E1,E2,ΣE_1,E_2,\dots \in \Sigma satisfy

E1E2E3. E_1 \subseteq E_2 \subseteq E_3 \subseteq \cdots.

Then

μ ⁣(n=1En)=limnμ(En). \mu\!\left(\bigcup_{n=1}^\infty E_n\right)=\lim_{n\to\infty}\mu(E_n).

Together with , this expresses how interact with countable unions and intersections of .