Some preliminary results on the set of principal congruences of a finite lattice

G. Grätzer, H. Lakser

In the second edition of the congruence lattice book, Problem 22.1 asks for a characterization of subsets $Q$ of a finite distributive lattice $D$ such that there is a finite latti…