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 .