Algebraic geometry over algebraic structures. II. Foundations
In this paper, we introduce elements of algebraic geometry over an arbitrary algebraic structure. We prove so-called unification theorems which describe coordinate algebras of algebraic sets in several different ways.