Monotone convergence theorem

Layer 0 — Mathematicsin the measure-theory subtree

0 ≤ f_n ↑ f a.e. ⟹ ∫ f_n ↑ ∫ f. Extends linearity to positive measurable limits; foundational.

Related concepts