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 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.