>>726
開集合の定義どおりにやればいいよ。