06D10 - Order, lattices, ordered algebraic structures :: Distributive lattices :: Complete distributivity