Solution sets of systems of equations over finite lattices and semilattices (Q2297806)

The authors characterize sets of solutions of a system of equations over an arbitrary finite algebra. They show that sets of solutions are always closed under the centralizer of the clone of term operations of the given algebra. Moreover, the centralizer is the only clone that could characterize sets of solutions. If every centralizer-closed set is the set of all solutions of a system of equations over a finite algebra then they say that the algebra has solution sets definable by closure under the centralizer, SDC in brief. The main results: a finite lattice has SDC if and only if it is a Boolean lattice, and a finite semilattice has SDC if and only if it is distributive.