Definition 1.1Probability space and random variables
Probability = measure theory with total mass 1. Events are measurable sets; random variables are measurable functions.
Why measure theory: it handles discrete, continuous and mixed variables, and infinite sequences of coin tosses, in one framework.
Needs: Definition 1.3, Definition 3.1
Leads to: Definition 1.2