Measure is Subadditive

Theorem
Let $\left({X, \Sigma, \mu}\right)$ be a measure space.

Then $\mu$ is subadditive, that is:


 * $\forall E, F \in \Sigma: \mu \left({E \cup F}\right) \le \mu \left({E}\right) + \mu \left({F}\right)$

Proof
A measure is an additive function, and, by definition, nowhere negative.

So Additive Nowhere Negative Function is Subadditive‎ applies.

Hence the result directly:


 * $\mu \left({E \cup F}\right) \le \mu \left({E}\right) + \mu \left({F}\right)$