開集合と閉集合の定義と性質