>>311
位相空間論はXの定義から始まる