An operator has been defined on
The part im having difficulties with is the associativity.
This is a well known operator. It is usually called the symmetric difference.
And it is the associative property that almost every student hates to prove.
But the operation is indeed associative.