Elementary group theory#Alternative Axioms