Axiom:Group Axioms/Left

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

Also see

 * Axiom:Group Axioms
 * Axiom:Right Group Axioms


 * Equivalence of Axiom Schemata for Groups