対偶とるのは自由だけど、あまり意味ないよね。
確認するなら、開集合の方もしないと片手落ちじゃないの。