For any sets $A$ and $B$ show that: $(A \cup B) \diagdown (A \cap B) = (A \diagdown B) \cup (B \diagdown A)$ I have the question "solved" and I understand the what the question is asking I just feel like the solution I have is not sufficiently "mathematical" and would like some guidance writing it in a more sophisticated way. If the way I answered it is sufficient for full marks, however, that would be good to know as well. It just feels too... casual.

The goal of this problem is to show that the set on the LHS of the equation is a subset of the set and the right and that the converse is true as well.
So the set on the LHS of the equation can be written in set builder notation as:

$(A \cup B) \diagdown (A \cap B)$ $=$ {$x: x\in A$ or $x\in B, x\notin A$ and $B$}

Similarly the set on the RHS of the equation can be written in set builder notation as

$(A \diagdown B) \cup (B \diagdown A)$ $=$ {$x: x\in A$, $x \notin B$ or $x \in B$, $x\notin A$}

If these set-builder notation write ups are wrong please let me know.


*

*To show LHS is a subset of RHS we let $x \in$ {$x: x\in A$ or $x\in B, x\notin A$ and $B$} and note that $x$ can be an element of either $A$ or $B$ but not both simultaneously, thus we can see that $x \in$ $(A \diagdown B) \cup (B \diagdown A)$


*To show RHS is a subset of LHS we let $x \in$ {$x: x\in A$, $x \notin B$ or $x \in B$, $x\notin A$} and note that if $x \in A$ then $x$ is not an element of $B$ and if $x \in B$ then $x$ is not an element of $A$ hence $x$ could never be an element of $A$ and $B$ and thus $x \in$ $(A \cup B) \diagdown (A \cap B)$

I feel like I've done nothing more than write the sets in set builder notation and then describe them and say this equals that. I can see how they are equivalent but it doesn't seem like enough work. Am I missing somethign here?
Any help is greatly appreciated.

$$A\Delta  B =(A \cup B) \diagdown (A \cap B) = (A \diagdown B) \cup (B \diagdown A)$$
The set is called symmetric difference of $A$ and $B$
Note that on both sides we have those elements which are in one and only one of the two sets so they are equal.
The symmetric difference is also defined for three or more sets.
One notable property of the symmetric difference is the associative property  $$ A\Delta (B\Delta C)=(A\Delta B)\Delta C$$ which makes a good exercise for students of a set theory course.
