開集合の余集合が閉集合だというのは閉集合の定義なのですか、それ
とも開集合の余集合であることと閉集合であることが同値であるとい
うだけなのですか？