主にコルモゴロフ=フォミーンで集合位相を勉強する人はあまりいないのかな？