Groups of Sets

As defined in this question $A*B$ is the set of all elements belonging to one or other of the sets $A$ and $B$ but not to both.

For $G$ to be a group it must be closed and associative, it must contain an identity and all the elements must have inverses.