"Polynomial Completeness in Algebraic Systems provides a coherent presentation of the subject, including primality, functional completeness, and affine completeness, as well as their several variations and generalizations. The authors focus on the recently developed theory of affine complete varieties.

They present new results, including full proof that all affine complete varieties are congruence distributive, and that they are finitely generated if and only if they can be presented using only a finite number of basic operations. In addition to these important findings, the authors describe the different relationships between properties of lattices of equivalence relations and the systems of functions compatible with them."--BOOK JACKET.