random variable in Polish

(statistics, formally) A measurable function from a sample space to the measurable space of possible values of the variable.