algebra.lattice
A distributive lattice a lattice where join and meet distribute:
This is the lattice with meet and join swapped
A distributive lattice a lattice where join and meet distribute: