Abstract:
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 geometrical and algebraic geometrical comparability of algebras.