Finite distributive lattices are congruence lattices of almost-geometric lattices (Q535114)

It is proven that any finite distributive lattice is isomorphic to the lattice of congruences of some finite semimodular lattice having the additional property that the poset of nonzero join-irreducible elements is the cardinal sum of chains having at most two elements. A brief but useful historical sketch concerning representations of distributive lattices as congruence lattices is given in the final section.