微分が定義できれば開集合ですか?