maybe this will help you..
at some point in your text you should have it written that for every set . this should help you prove the converse directly.
for the forward direction, assume NOT or . then by DeMorgan's laws, we have that AND . now if both and are nonempty, what can you say about ?