Random Variable

Let be a Probability Space.
Let be a Measurable Space.
A random variable is a Measurable Function .
We write:

for any Measurable Set .

Usually we have with the induced Borel Sigma Algebra