universal algebra

Wiktionary

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