In the mathematical area of order theory, a completely distributive lattice is a complete lattice in which arbitrary joins distribute over arbitrary meets.
Formally, a complete lattice L is said to be completely distributive if, for any doubly indexed family {xj,k | j in J, k in Kj} of L, we have
where F is the set of choice functions f choosing for each index j of J some index f(j) in Kj.
Complete distributivity is a self-dual property, i.e. dualizing the above statement yields the same class of complete lattices.
Read more about Completely Distributive Lattice: Alternative Characterizations, Properties, Free Completely Distributive Lattices, Examples
Famous quotes containing the word completely:
“Of the other characters in the book there is, likewise, little to say. The most endearing one is obviously the old Captain Maksim Maksimich, stolid, gruff, naively poetical, matter-of- fact, simple-hearted, and completely neurotic.”
—Vladimir Nabokov (18991977)