Polish space
以下はポーランド空間に対するものである: