Measure/Infobox

$$\newcommand{\bigudot}{ \mathchoice{\mathop{\bigcup\mkern-15mu\cdot\mkern8mu}}{\mathop{\bigcup\mkern-13mu\cdot\mkern5mu}}{\mathop{\bigcup\mkern-13mu\cdot\mkern5mu}}{\mathop{\bigcup\mkern-13mu\cdot\mkern5mu}} }$$ $$\newcommand{\udot}{\cup\mkern-12.5mu\cdot\mkern6.25mu\!}$$ $$\require{AMScd}\newcommand{\d}[1][]{\mathrm{d}^{#1} }$$

(Positive) Measure
$\mu:\mathcal{R}\rightarrow\bar{\mathbb{R} }_{\ge0}$ For a $\sigma$-ring, $\mathcal{R}$
Properties
$\forall\overbrace{(A_n)_{n=1}^\infty }^{\begin{array}{c}\text{pairwise}\\\text{disjoint}\end{array} }\subseteq\mathcal{R}[\mu\left(\bigudot_{n=1}^\infty A_n\right)=\sum^\infty_{n=1}\mu(A_n)]$

---

TODO: I can use subadditivity if I assume the measure is positive to define it and get rid of that pesky pairwise disjoint

---