ClosureNearAdditiveGroup( A, a ) O
ClosureNearAdditiveGroup( A, B ) O
returns the closure of the near-additive magma A with the element a or the near-additive magma B, w.r.t. addition, taking the zero element, and taking additive inverses.
GAP 4 manual