  Some notions of algebraic geometry can be defined for arbitrary varieties of
algebras. This leads to universal algebraic geometry. The main idea of the
presented theory is to consider interactions between algebra, logic and
geometry in algebras from a given variety of algebras.
