olemus
algebraliste struktuuride üldine teooria, mis käsitleb kõigi ühetüübiliste algebraliste struktuuride klassi, tähtsal kohal on samasuste abil defineeritavad klassid
https://www.wikiwand.com/et/Universaalalgebra
= the field of mathematics that studies algebraic structures themselves

Birkhoffi teoreem ehk HSP teoreem:
ühetüübiliste algebraliste struktuuride klass on samasuste abil defineeritav parajasti siis, kui ta on kinnine alamalgebra, homomorfse kujutise](/term/13433) ja otsekorrutiste moodustamise suhtes
https://en.wikipedia.org/wiki/Variety_(universal_algebra)

näiteid
kõigi rühmade klass ja kõigi ringide klass on samasuste abil defineeritavad, kõigi korpuste klass aga mitte, sest ta ei ole kinnine otsekorrutiste moodustamise suhtes
= the class of all groups and the class of all rings

ülevaateid
https://en.wikipedia.org/wiki/Universal_algebra
https://en.wikipedia.org/wiki/Algebraic_structure
https://pdfs.semanticscholar.org/a839/9a6f777048a4aed179404b230e41720ff097.pdf
https://www.math.uwaterloo.ca/~snburris/htdocs/UALG/univ-algebra.pdf