 In the measure-theoretic, axiomatic approach to probability, if a random variable formula_6 on formula_4 and a Borel measurable function formula_121, then formula_144 is also a random variable on formula_4, since the composition of measurable functions is also measurable.