Axiom:Group Axioms/Left

Definition
A group is an algebraic structure $\left({G, \circ}\right)$ which satisfies the following four conditions:

Also see

 * Group Axioms
 * Group Axioms (Right)


 * Equivalence of Axiom Schemata for Groups