[REOPENED]
I think people were pretty hasty in shutting down this question: Shape of axioms in algebraic structuresShape of axioms in algebraic structures. I could just barely squeeze in some highly relevant content and context in a comment before the thing was shut down. I request that this be reopened.