Universal Algebra

The abstract study of algebraic structures by treating signatures (sets of operation symbols with arities) and identities uniformly; it analyzes classes of similar algebras through operations, term formation, and equational consequences rather than through particular concrete instances.