位相を決めないことには開集合が定義されないのでは?