 The realizations of a random variable, that is, the results of randomly choosing values according to the variable's probability distribution function, are called random variates.A random variable is a measurable function formula_1 from a set of possible outcomes formula_2 to a measurable space formula_3.The technical axiomatic definition requires formula_4 to be a sample space of a probability triple formula_5 (see the measure-theoretic definition).