Comment by ginnungagap

random variable as a shortening of "measurable function from a probability space" doesn't seem too bad to me