Another branch of mathematics known as universal algebra studies algebraic structures in general.
From the universal algebra viewpoint, most structures can be divided into varieties
and quasivarieties depending on the axioms used.
Some axiomatic formal systems that are neither varieties nor quasivarieties,
called nonvarieties, are sometimes included among the algebraic structures by tradition.
|