A convenient filtration

Example.Given a measurable space , we can form the countable product and put a filtration on it via
where is the projection onto the first components
Proposition.Given a probability measure on , we can turn into a probability space with . Then the conditional probability of with respect to is given by