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.

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 to know that I'm (a) using established definitions and (b) relying on proved results. BTW, a citation for even a trivial property 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)[reply]

Important: Although I've started the article, I copied much of the material from another article. I have no reference for the section on the cross-cut operator, or the property about products of chains.--Malcohol 09:25, 17 October 2006 (UTC)[reply]

The second alternative characterization seems not to be valid. Take the complete chain of all natural numbers < 7 and its set of subsets S = {{2,4}, {3,5}}. Then the intersection of S is empty, so that the join of intersection of S is the minimal element 0. On the other hand, the meet of the set of joins of S is the meet of {4,5}, which equals 4 and differs from 0. I assume you need an additional condition on S, but I don't know which one.

The first alternative characterization is valid under assumption of the Axiom of Choice (which axiom is usually taken for granted in mathematics). I have put a proof at [www.cs.rug.nl/~wim/pub/whh381.pdf] Whh7 18:38, 2 January 2007 (UTC)[reply]