Sei : A \ B = B \ A
Dann musst du zeigen: A=B .
Angenommen, das sei falsch. Dann gäbe es:
Entweder x∈A und x∉ B
Oder x∉ A und x∈B
1. Fall: x∈A und x∉ B
==> x∈A\B Dann nach Vor.
==> x∈B\A
==> x ∈ B Widerspruch.
Den 2. Fall entsprechend zeigen.
Umgekehrt: Sei A=B.
==> A \ B = ∅ = B \ A