Let be a probability space? and be a measurable space?. A random variable on is a measurable function? . Here, is called the state space of (Doob, 1996).
Doob, J. L. (1996). The Development of Rigor in Mathematical Probability (1900-1950). American Mathematical Monthly 103, 586–595.