ABSTRACT
As noted above, a probability space is a finite measure space by another name, but one that typically reflects a model and a story. Similarly, a random variable is a measurable function by another name, and one that again often reflects a model or a story. However, a random variable is a measurable function with a very different notational convention.
