ポーランド空間
Another example: for every sequence of random variables, their joint distribution turns the Polish space formula_160 (of sequences; endowed with the product topology) into a standard probability space.