ABSTRACT
The most famous representation theorem for finite distributive lattices is the one by Birkhoff:
Every finite poset (A, <) uniquely determines a finite distributive lattice whose poset of meet-irreducible elements is isomorphic to (A, <).
The most famous representation theorem for finite distributive lattices is the one by Birkhoff:
Every finite poset (A, <) uniquely determines a finite distributive lattice whose poset of meet-irreducible elements is isomorphic to (A, <).