Description: Define group operation. In the context of less restrictive structures,
this operation is also called magma, semigroup or monoid operation.
(Contributed by NM, 4-Sep-2011)(Revised by Mario Carneiro, 14-Aug-2015) Use its index-independent form plusgid instead.
(New usage is discouraged.)