>>451
補集合が開集合であることを示すという方針はいいけど
(A^c×B^c)^c=A×B
は成り立たないよ。試しにX=Y=Rとしてみてxy平面に作図してごらんよ