About: Distributive lattice

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Lattice in which the operations of join and meet distribute over each other

Property	Value
dbo:description	mathematische Struktur (de) algebraický svaz, jehož dvě operace jsou vzájemně distributivní (cs) lattice in which the operations of join and meet distribute over each other (en) решётка со свойством дистрибутивности для двух операций (ru)
dbo:thumbnail	wiki-commons:Special:FilePath/Young's_lattice.svg?width=300
dbo:wikiPageExternalLink	http://www.thoralf.uwaterloo.ca/htdocs/ualg.html
dbo:wikiPageWikiLink	dbr:Subdirect_product dbr:Heyting_algebra dbr:Intuitionistic_logic dbr:If_and_only_if dbr:Partially_ordered_set dbr:Covering_relation dbr:Mathematics dbr:Lattice_(order) dbr:Logical_disjunction dbr:Logic dbr:Richard_Dedekind dbr:Greatest_common_divisor dbr:Clopen_set dbr:Representation_theorem dbr:Mathematical_proof dbr:Natural_number dbr:Divisor dbr:Square-free_integer dbr:Convex_polytope dbr:Boolean_prime_ideal_theorem dbr:Axiom_of_choice dbr:Bijection dbr:Intersection_(set_theory) dbr:Topological_space dbr:Union_(set_theory) dbr:Boolean_algebra_(structure) dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Stone_duality dbr:Idempotence dbr:Young's_lattice dbr:Subdirectly_irreducible_algebra dbr:Universal_property dbr:Median_graph dbr:Ring_of_sets dbr:Duality_(order_theory) dbr:Alwin_Korselt dbr:Least_common_multiple dbr:Lindenbaum–Tarski_algebra dbr:Open_set dbr:Universal_algebra dbr:Sperner_family dbr:Duality_theory_for_distributive_lattices dbr:Join_and_meet dbr:Birkhoff's_representation_theorem dbr:Upper_set dbr:Order_theory dbr:Ernst_Schröder_(mathematician) dbr:Jacob_Lüroth dbr:Isomorphism dbr:Logical_conjunction dbr:Monotonic_function dbr:Hilary_Priestley dbr:Dedekind_number dbr:Complete_Heyting_algebra dbr:Total_order dbr:Compact_space dbr:Riesz_space dbr:Distributivity_(order_theory) dbr:Free_object dbr:Order_isomorphism dbr:Equivalence_of_categories dbr:Modular_lattice dbr:Priestley_space dbr:Two-element_Boolean_algebra dbr:Completely_distributive_lattice dbr:Distributive_polytope dbc:Lattice_theory dbr:Spectral_space dbr:Limit-preserving_function_(order_theory) dbr:Distributivity dbr:Partition_(number_theory) dbr:Marshall_Harvey_Stone dbr:Charles_S._Peirce dbr:Associative dbr:Commutativity dbr:Hasse_diagrams dbr:Young_diagram dbr:Priestley's_representation_theorem_for_distributive_lattice dbr:Stone's_representation_theorem_for_distributive_lattices dbr:File:Young's_lattice.svg dbr:File:Monotone_Boolean_functions.svg dbr:File:Non-dstrbtive_lattices-warning.png
dbp:caption	diamond lattice M3 (en) pentagon lattice N5 (en)
dbp:footer	(en) ∨ (en) , while the pentagon lattice N5 is non-distributive because (en) = x ∧ 1 = x ≠ 0 = 0 ∨ 0 = (en) = x ∧ 1 = x ≠ z = 0 ∨ z = (en) x ∧ (en) Hasse diagrams of the two prototypical non-distributive lattices. The diamond lattice M3 is non-distributive because (en)
dbp:image	M3 1xyz0.svg (en) N5 1xyz0.svg (en)
dbp:width	150 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:OEIS_el dbt:More_citations_needed dbt:Multiple_image dbt:OEIS dbt:Reflist dbt:Short_description dbt:Order_theory
dct:subject	dbc:Lattice_theory
gold:hypernym	dbr:Lattice
rdfs:label	Distributive lattice (en) Distributivní svaz (cs) Retículo distributivo (es) Distributiver Verband (de) 분배 격자 (ko) Дистрибутивна ґратка (uk) 分配格 (zh)
owl:sameAs	freebase:Distributive lattice wikidata:Distributive lattice dbpedia-de:Distributive lattice dbpedia-es:Distributive lattice dbpedia-zh:Distributive lattice dbpedia-ko:Distributive lattice dbpedia-cs:Distributive lattice dbpedia-uk:Distributive lattice dbpedia-global:Distributive lattice
prov:wasDerivedFrom	wikipedia-en:Distributive_lattice?oldid=1289278245&ns=0
foaf:depiction	wiki-commons:Special:FilePath/M3_1xyz0.svg wiki-commons:Special:FilePath/Monotone_Boolean_functions.svg wiki-commons:Special:FilePath/N5_1xyz0.svg wiki-commons:Special:FilePath/Non-dstrbtive_lattices-warning.png wiki-commons:Special:FilePath/Young's_lattice.svg
foaf:isPrimaryTopicOf	wikipedia-en:Distributive_lattice
is dbo:wikiPageRedirects of	dbr:Free_distributive_lattice dbr:Distribute_lattice dbr:Distributive_lattice/Proofs
is dbo:wikiPageWikiLink of	dbr:Subdirect_product dbr:Arithmetical_ring dbr:Heyting_algebra dbr:Partially_ordered_set dbr:Covering_relation dbr:FKG_inequality dbr:Map_of_lattices dbr:Modular_graph dbr:List_of_first-order_theories dbr:GCD_domain dbr:BCK_algebra dbr:4 dbr:Lattice_of_subgroups dbr:Partial_cube dbr:Deduction_theorem dbr:Ideal_(order_theory) dbr:Algebra dbr:Greatest_common_divisor dbr:Fibonacci_cube dbr:Semilattice dbr:Representation_theorem dbr:Square-free_integer dbr:Algebraic_structure dbr:M3 dbr:Frucht's_theorem dbr:Complemented_lattice dbr:Band_(algebra) dbr:Simplex_graph dbr:Seminorm dbr:Division_lattice dbr:Young–Fibonacci_lattice dbr:Boolean_prime_ideal_theorem dbr:Boolean_algebra_(structure) dbr:Dedekind–MacNeille_completion dbr:Young's_lattice dbr:Subdirectly_irreducible_algebra dbr:Sieve_(category_theory) dbr:Median_graph dbr:Antimatroid dbr:Fence_(mathematics) dbr:Ring_of_sets dbr:Duality_(order_theory) dbr:Thoralf_Skolem dbr:Boolean_algebra dbr:Cyclic_group dbr:Least_common_multiple dbr:De_Morgan_algebra dbr:Duality_theory_for_distributive_lattices dbr:Birkhoff's_representation_theorem dbr:Congruence_lattice_problem dbr:Edge_coloring dbr:Graph_homomorphism dbr:Order_theory dbr:Ideal_(ring_theory) dbr:Distributive_property dbr:Hilary_Priestley dbr:Subsumption_lattice dbr:Differential_poset dbr:Dedekind_number dbr:Antichain dbr:Terry_Speed dbr:Stable_marriage_problem dbr:Total_order dbr:Graded_poset dbr:Quantum_Reality dbr:Semiring dbr:Flat_(geometry) dbr:Riesz_space dbr:Yury_Yershov dbr:Turing_degree dbr:Duality_(mathematics) dbr:Distributivity_(order_theory) dbr:Dominance_order dbr:Free_object dbr:Modular_lattice dbr:Ahlswede–Daykin_inequality dbr:Boolean_algebras_canonically_defined dbr:Subgroups_of_cyclic_groups dbr:List_of_order_theory_topics dbr:Outline_of_algebraic_structures dbr:Priestley_space dbr:Locally_cyclic_group dbr:Median_algebra dbr:Semigroup_with_two_elements dbr:Knowledge_space dbr:Two-element_Boolean_algebra dbr:Completely_distributive_lattice dbr:Conditional_event_algebra dbr:Distributive_polytope dbr:Lattice_of_stable_matchings dbr:Order_polytope dbr:Stable_matching_polytope dbr:Tolerance_relation dbr:Disjunction_property_of_Wallman dbr:Spectral_space dbr:Ockham_algebra dbr:Stone_algebra dbr:Residuated_lattice dbr:Stable_marriage_with_indifference dbr:Pseudocomplement dbr:Limit-preserving_function_(order_theory) dbr:Introduction_to_Lattices_and_Order dbr:Posetal_category dbr:Pseudoelementary_class dbr:Free_distributive_lattice dbr:Distribute_lattice dbr:Distributive_lattice/Proofs
is foaf:primaryTopic of	wikipedia-en:Distributive_lattice