>>230

補集合が開集合であることを確認するだけです。各連結成分は開集合なのでその和も開