おまいの使ってる開核の定義はなんだ？
「〜である開集合を開核という」なんて定義になってたら、定義から自明じゃん