Birkhoff 1937: every finite distributive lattice is isomorphic to lattice of down-sets of its poset of join-irreducibles; foundational for lattice-theory.
Birkhoff 1937: every finite distributive lattice is isomorphic to lattice of down-sets of its poset of join-irreducibles; foundational for lattice-theory.