Definition, synonyms and related words
A branch of mathematics dealing with equational classes of algebras, where similar theorems from disparate branches of algebra are unified.