12.5 Groups

Group <> {add| equals| remove| xor} {} <>

Group <> {inters| unite} grou <> with grou <>

Group <> subtract group <> from group <>