## Symmetric difference is associative

I’m sure that any mathematics university student came across in the first years of university, in some course of set theory, to proving the fact that the difference symmetric operation is associative:

where .

There are a few ways to do this. First there is the direct way using **double inclusion**: choose in the LHS member of the equality and prove that it is also in the RHS member. This is probably the longest method around, but it can be done.

The second method beats the first one at high score. Using characteristic functions, it is very easy to express the characteristic function of each of the LHS or RHS in thems of the characteristic functions of , and see that the result is the same.

The third method, mentioned in the following article of Halmos: DOES MATHEMATICS HAVE ELEMENTS? makes fun of both methods described above. It uses again the characteristic function, but in a totally different way. Note that , and we are done, since by using the associativity of the integers we find that

and the equality modulo of two functions taking only values and implies their equality.

Really nice post! Thanks for the link to Halmos’ article as well!

Glad you liked it 🙂