Axiom:Abelian Group Axioms

Definition
An algebraic structure $\left({G, +}\right)$ is an abelian group iff the following conditions are satisfied:

Also see

 * Abelian Group