When a group is defined, we ask that the elements belong to a set. If we allow them to belong to a proper Class we get a GROUP.
What is the advantage of working with groups? What properties do we lose when we work with GROUPS?
An example of the notation can be found here: http://www.mathe2.uni-bayreuth.de/stoll/papers/games12.pdf