n (uncountable) A branch of mathematics dealing with equational classes of algebras, where similar theorems from disparate branches of algebra are unified.