The branch of mathematics that deals with groups, monoids, fields, and like algebraic structures.
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.