if P and Q are set then Symmetric difference is given by
for Simplicity :
// product operator
// Sum operator
If you remember it is the formula for XOR
The symmetric difference is nothing but XOR operator.
for convenient we can apply all the property of XOR where Symmetric Difference Operator is used.
Let be finite sets and
What is the relation between X and Y ?