## Franklin's Notes

### Distributive lattice

A distributive lattice is a lattice $L$ in which the following identities involving the meet and join operations hold for any $x,y,z\in L$: