This Appendix proves the results from measure theory that were stated but not proved in the text.
This section is devoted to the proof of:
Theorem A.1.1. Let be a semialgebra, and let μ defined on have μ() = 0. Suppose (i) if S ∈ is a finite disjoint union of sets Si ∈ then μ