Pre-measure/Properties in common with measure

[Expand]

• Finitely additive: if $A\cap B=\emptyset$ then $\mu_0(A\udot B)=\mu_0(A)+\mu_0(B)$

---

Follows immediately from definition (property 2)

[Expand]

• Monotonic: if $A\subseteq B$ then $\mu_0(A)\le\mu_0(B)$

---

---

TODO: Be bothered to write out

---

[Expand]

• If $A\subseteq B$ and $\mu_0(A)<\infty$ then

---

---

TODO: Be bothered, note the significance of the finite-ness of $A$ - see Extended real value

---

[Expand]

• Strongly additive: $\mu_0(A\cup B)=\mu_0(A)+\mu_0(B)-\mu_0(A\cap B)$

---

---

TODO: Be bothered

---

[Expand]

• Subadditive: $\mu_0(A\cup B)\le\mu_0(A)+\mu_0(B)$

---

---

TODO: Again - be bothered

---