Overlaying declarations and graphics

Theorem
Every finite distributive lattice can be embedded in a boolean
lattice.
Overlaying declarations and graphics
Theorem
Every finite distributive lattice can be embedded in a boolean
lattice.
Overlaying declarations and graphics
Theorem
Every finite distributive lattice can be embedded in a boolean
lattice.
Proof.
Use join-irreducible elements.