A∆B = ∅ gilt genau dann, wenn A = B, d.h.
a) wenn A = B, dann A∆B = ∅
A=B ==>
A∆B = (A \ B) ∪ ( B \ A ) = ∅ ∪ ∅ = ∅
und b) wenn A∆B = ∅,
==> (A \ B) ∪ ( B \ A ) = ∅
Angenommen es sei A≠B, dann gibt
es entweder
1. Fall: ein x∈A ∧ x ∉ B
==> x∈A\B , dann wäre die
Vereinigung (A \ B) ∪ ( B \ A ) nicht leer.
Widerspruch !
oder 2. Fall ein x∈B ∧ x ∉ A .... analog
dann A = B