Given the probability space , any random variable is - measurable, in the following sense:
We now define as follows:
It is also clear that is the smallest -algebra containing all sets of the form , . as defined above is called the -algebra generated by .