Complete distributivity Distributive lattices mathematics