A visual approach to test lattices
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, then coincides with the optimal -lattice of Freese, Ježek and Nation [Freese, R., Ježek,...