olemus
algebraliste struktuuride üldine teooria,
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 ja otsekorrutiste moodustamise suhtes
https://en.wikipedia.org/wiki/Variety_(universal_algebra)

näide
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

ü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