>>392
生成される位相
とか
(pr_i)を連続にする最も荒い位相