Implicit algebraic geometry on categories of universal algebras

Using the notion of an implicit operation on universal algebras, we redefine basic notions of the algebraic geometry of universal algebras. The results obtained for the implicit algebraic geometry imply (as special cases) the known results on the conditional geometric and algebraic geometric comparability of algebras.