A branch of mathematics dealing with equational classes of algebras, where similar theorems from disparate branches of algebra are unified.
An algebraic structure studied therein.