Definition:Additive Group