Fundamental theorem of finite distributive lattices

Redirect to:

• Birkhoff's representation theorem