Du zeigst mal erst
x ∈ A \ (A \ B) ==> x ∈ A ∩ B
Dazu gehst du nach der Def. vor:
x ∈ A \ (A \ B)
==> x ∈ A und x ∉ A\B
==> x ∈ A und ( x ∉ A oder x ∈ B )
wegen x ∈ A kann x ∉ A nicht wahr sein, also
==> x ∈ A und x ∈ B
==> x ∈ A ∩ B
Dann die andere Richtung
x ∈ A ∩ B ==> x ∈ A \ (A \ B)
versuch das mal ! Frage ggf. nach .