Is the symmetric difference associative? I'd like to be able to give a proof for it.
I.e. is the following true? , where A, B, and C are sets.
To me it seems this is the case, i.e. that the symmetric difference is associative.
Let \ . I.e. assume that there is an element a in that is not in
This implies that a must be in only one of A, B or C for this to be true.
But if a is in either A, B or C, but not in two or more; then by definition of the symmetric difference, it must also be in Which is a contradiction -- a cannot be in without also being in
But how can I give a proof for this?