Random variable (source code)

= Random variable
{wiki}

A random variable is a measurable <function> from a probability space to a measurable space.