開集合の定義は分かっとるんか?