Talk:Completely distributive lattice

I've started this article by copying much of the material in the "Distributivity laws for complete lattices" section of the distributivity (order theory) article here. Perhaps it should be moved to complete distributivity or completely distributive lattice, but initially I've just used the link from the old article.

Please help make this article better and, in particular, add citations. I'm not a lattice theorist, but I do use lattices in my work. Wikipedia is great for info, but I need solid references so I am (a) using established definitions and (b) using theorems that have been proved. BTW, a citation for even trivial properties is typically more useful to me than a proof, since I would rarely have space in a paper for the proof. --Malcohol 09:05, 17 October 2006 (UTC)