Description: Define group addition function. Usually we will use +g directly
instead of +f , and they have the same behavior in most cases. The
main advantage of +f for any magma is that it is a guaranteed
function ( mgmplusf ), while +g only has closure ( mgmcl ).
(Contributed by Mario Carneiro, 14-Aug-2015)