Axiom:Left Group Axioms