Universal algebra

The model theory of first-order equational logic.