Ja das ist schon ganz OK. Ich würde dir raten das noch etwas
stärker zu strukturieren. Etwa so:
1) A ist Teilmenge von B
2) A = A geschnitten B
3) B = A vereinigt B
zu 1==>2: (Das hast du schon ganz gut gemacht, allerdings musst du
für Mengengleichungen immer zeigen:
x aus 1. Menge ==> x aus 2. Menge und umgekehrt.)
x sei Element von A. Da A Teilmenge von B ist,
muss x auch Element von B sein.
Damit ist x Element von der Menge A als auch von Menge B
also auch x∈A∩B.
ABER: Um A = A∩B zu zeigen; musst du auch noch bemerken:
Sei andererseits x∈A∩B, dann folgt x∈A und x∈B.
Also insbesondere x∈A.
2 ==> 3 Sei x∈B. Dann gilt aber auch x∈A oder x∈B,
somit x∈A∪B.
Sei umgekehrt x∈A∪B. ==> x∈A oder x∈B.
Wegen 2) folgt aber aus x∈A auch n x∈A und x∈B.
Somit gilt jedenfalls x∈B. Damit ist 3) gezeigt.
3 ==> 1 Sei x∈A . Also auch x∈A∪B.
Wegen 3) also auch x∈B.
Durch den Ringschluss 1 ==> 2 ==> 3 ==>1 ist alles
bewiesen.