ALGEBRAIC GEOMETRY OVER ALGEBRAIC STRUCTURES. IV. EQUATIONAL DOMAINS AND CODOMAINS

We introduce and study equational domains and equational codomains. Informally, an equational domain is an algebra every finite union of algebraic sets over which is an algebraic set; an equational codomain is an algebra every proper finite union of algebraic sets over which is not an algebraic set.