Birkhoff 1937 representation theorem — every finite distributive lattice L is isomorphic to the lattice of down-sets of its subposet of join-irreducible elements. More precisely, if JI(L) denotes the poset of join-irreducibles (elements x…
Birkhoff 1937 representation theorem — every finite distributive lattice L is isomorphic to the lattice of down-sets of its subposet of join-irreducible elements. More precisely, if JI(L) denotes the poset of join-irreducibles (elements x…