A continuous lattice L with DID(L) incomplete.
Let be a -ary lattice term. A -pointed lattice , will be called a -lattice (or a test lattice if is not specified), if is generated by and, in addition, for any -ary lattice term satisfying , in , the lattice identity holds in all lattices. In an elementary visual way, we construct a finite -lattice for each . If is a canonical lattice term,...