Copyright © University of Cambridge. All rights reserved.
'Groups of Sets' printed from https://nrich.maths.org/
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.