1. Teil vielleicht so:
A∩B = Ø ⇔ A ⊂ E\B
Sei A∩B = Ø und angenommen A⊄ E\B
==> Es gibt x∈A und x∉E\B
==> x∈A und ( x∉E oder x∈B)
==> ( x∈A und x∉E ) oder ( x∈A und x∈B)
Der 1. Fall ist unmöglich, da A⊆E
und der zweite, da A∩B = Ø .
Also ist gezeigt: A∩B = Ø ⇒ A ⊂ E\B.
Rückrichtung entsprechend.