For a probability space, a function is called a random variable if it is a measureable function.
Note here is the [[20231218115557-borel_sigma_algebra|Borel algebra]] on the real numbers.
This is important, because we want random variables to be real-valued. Also, the Borel -algebra has some very nice properties to use.
A set of random variables is called a random vector.