Free distributive lattice