ポーランド空間
If formula_7 is a Polish space and formula_8 is the Borel formula_12-algebra, then every finite measure is a regular measure and therefore a Radon measure.