# Set proof

• MHB
putiiik
Prove that (A⊕B)∩A= A-B! Thank you!

Gold Member
MHB
There are various ways of proving this: using the fundamental identities of set algebra, using Euler-Venn diagrams, by definition using mutual inclusion of the left- and right-hand sides, etc. Which one is used in your course? And if it is the first method, are you familiar with the fundamental identities?

HOI
For arbitrary sets, union $A\cup B$, intersection $A\cap B$, and difference A\ B, are defined but how are you defining the "direct sum" $A\bigoplus B$ of sets?

Gold Member
MHB
HOI
It seems very strange to us a "+" symbol to mean a "difference".

Homework Helper
MHB
It seems very strange to us a "+" symbol to mean a "difference".
It's the union of both sets except for their intersection.
As such a "+" seems appropriate.
It's just that to define it, we typically take the union of the 2 mutual differences, which is apparently why it is called symmetric difference.