Axiom:Abelian Group Axioms

Definition
An algebraic structure $\struct {G, +}$ is an abelian group the following conditions are satisfied:

Also see

 * Abelian Group