Polish space
標準ボレル空間 () とはポーランド空間に付随するボレル空間を言う。