>>609
開集合を定義しろ