Diskussion:Beweisarchiv: Mengenlehre: Mengenoperation: Differenzgesetz

Wäre es nicht einfacher, die Behauptung als

$A\setminus (A\setminus B)=A\cap {\overline {A\cap {\bar {B}}}}={}$

${}=A\cap ({\bar {A}}\cup {\overline {\bar {B}}})=A\cap ({\bar {A}}\cup B)=(A\cap {\bar {A}})\cup (A\cap B)=A\cap B$

nachzurechnen?--Gunther 09:36, 26. Apr 2006 (UTC)