Maths08. General Algebraic SystemsOperations, identities, and structures as a unifying framework for all algebraic theories.