Lattices and duality Distributive lattices mathematics