On some of logical closures on universal algebras

摘要

B. I. Plotkin has introduced some concepts of logical geometrieson universal algebras. Here we study one of the related logical closureoperators on sets of elements of an algebra definable by quantifier–freeformulas using some quasiorder on the basic set of this algebra.