Seien A und B beliebige Mengen.
Beweisen sie, dass gilt:
(i) (A \ B) ∩ (A ∩ B) = ∅
(ii) (A \ B) ∪ (A ∩ B) = A
Können sie sich die Aussage jetzt mit einem Euler-Venn-Diagramm veranschaulichen?
Wenn ja, so versuchen sie diese Idee nun in einem Beweis umzusetzen.