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:Hilary_Priestley dbr:Divisor dbr:Square-free_integer dbc:Lattice_theory dbr:Lattice_(order) dbr:Ring_of_sets dbr:Mathematical_proof dbr:Stone_duality dbr:Two-element_Boolean_algebra dbr:Clopen_set dbr:Jacob_Lüroth dbr:Boolean_prime_ideal_theorem dbr:If_and_only_if dbr:Heyting_algebra dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Covering_relation dbr:Limit-preserving_function_(order_theory) dbr:Ernst_Schröder_(mathematician) dbr:Richard_Dedekind dbr:Alwin_Korselt dbr:Greatest_common_divisor dbr:Least_common_multiple dbr:Young's_lattice dbr:Universal_property dbr:Logic dbr:Mathematics dbr:Logical_conjunction dbr:Monotonic_function dbr:Open_set dbr:Equivalence_of_categories dbr:Free_object dbr:Sperner_family dbr:Lindenbaum–Tarski_algebra dbr:Convex_polytope dbr:Boolean_algebra_(structure) dbr:Priestley_space dbr:Birkhoff's_representation_theorem dbr:Idempotence dbr:Isomorphism dbr:Intuitionistic_logic dbr:Topological_space dbr:Order_isomorphism dbr:Upper_set dbr:Distributive_polytope dbr:Duality_(order_theory) dbr:Intersection_(set_theory) dbr:Median_graph dbr:Spectral_space dbr:Partially_ordered_set dbr:Universal_algebra dbr:Distributivity_(order_theory) dbr:Subdirectly_irreducible_algebra dbr:Bijection dbr:Union_(set_theory) dbr:Riesz_space dbr:Compact_space dbr:Dedekind_number dbr:Natural_number dbr:Axiom_of_choice dbr:Total_order dbr:Modular_lattice dbr:Logical_disjunction dbr:Complete_Heyting_algebra dbr:Completely_distributive_lattice dbr:Join_and_meet dbr:Order_theory dbr:Marshall_Harvey_Stone dbr:Duality_theory_for_distributive_lattices dbr:Representation_theorem dbr:Partition_(number_theory) dbr:Distributivity dbr:Stone's_representation_theorem_for_distributive_lattices dbr:Young_diagram dbr:File:Monotone_Boolean_functions.svg dbr:File:Non-dstrbtive_lattices-warning.png dbr:Priestley's_representation_theorem_for_distributive_lattice dbr:File:Young's_lattice.svg dbr:Charles_S._Peirce dbr:Commutativity dbr:Hasse_diagrams dbr:Associative
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:Reflist dbt:OEIS dbt:More_citations_needed dbt:Multiple_image dbt:OEIS_el 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-zh:Distributive lattice dbpedia-es: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:Residuated_lattice dbr:Subsumption_lattice dbr:Hilary_Priestley dbr:M3 dbr:Algebra dbr:Cyclic_group dbr:Square-free_integer dbr:Pseudocomplement dbr:Seminorm dbr:Edge_coloring dbr:Flat_(geometry) dbr:Ring_of_sets dbr:Band_(algebra) dbr:Ahlswede–Daykin_inequality dbr:Lattice_of_subgroups dbr:Stone_algebra dbr:Two-element_Boolean_algebra dbr:Antichain dbr:Boolean_prime_ideal_theorem dbr:Heyting_algebra dbr:Fence_(mathematics) dbr:Subgroups_of_cyclic_groups dbr:Covering_relation dbr:Partial_cube dbr:Ockham_algebra dbr:Tolerance_relation dbr:Limit-preserving_function_(order_theory) dbr:Greatest_common_divisor dbr:Least_common_multiple dbr:Young's_lattice dbr:Frucht's_theorem dbr:GCD_domain dbr:4 dbr:Duality_(mathematics) dbr:Semiring dbr:Free_object dbr:Stable_marriage_problem dbr:List_of_first-order_theories dbr:Boolean_algebra_(structure) dbr:Priestley_space dbr:Birkhoff's_representation_theorem dbr:Median_algebra dbr:Distributive_polytope dbr:Complemented_lattice dbr:Duality_(order_theory) dbr:De_Morgan_algebra dbr:Distributive_property dbr:Algebraic_structure dbr:Ideal_(ring_theory) dbr:Turing_degree dbr:Median_graph dbr:Pseudoelementary_class dbr:Spectral_space dbr:Partially_ordered_set dbr:Differential_poset dbr:Disjunction_property_of_Wallman dbr:Distributivity_(order_theory) dbr:Dominance_order dbr:List_of_order_theory_topics dbr:Locally_cyclic_group dbr:Subdirectly_irreducible_algebra dbr:Terry_Speed dbr:Simplex_graph dbr:Young–Fibonacci_lattice dbr:Boolean_algebra dbr:Riesz_space dbr:Fibonacci_cube dbr:Knowledge_space dbr:Yury_Yershov dbr:Dedekind_number dbr:Dedekind–MacNeille_completion dbr:Total_order dbr:Thoralf_Skolem dbr:Graph_homomorphism dbr:Modular_lattice dbr:Semilattice dbr:Ideal_(order_theory) dbr:FKG_inequality dbr:Completely_distributive_lattice dbr:Map_of_lattices dbr:Posetal_category dbr:Deduction_theorem dbr:Order_theory dbr:Arithmetical_ring dbr:Conditional_event_algebra dbr:Congruence_lattice_problem dbr:Boolean_algebras_canonically_defined dbr:Sieve_(category_theory) dbr:Antimatroid dbr:BCK_algebra dbr:Graded_poset dbr:Duality_theory_for_distributive_lattices dbr:Representation_theorem dbr:Modular_graph dbr:Semigroup_with_two_elements dbr:Outline_of_algebraic_structures dbr:Stable_matching_polytope dbr:Division_lattice dbr:Quantum_Reality dbr:Lattice_of_stable_matchings dbr:Order_polytope dbr:Stable_marriage_with_indifference dbr:Introduction_to_Lattices_and_Order dbr:Free_distributive_lattice dbr:Distribute_lattice dbr:Distributive_lattice/Proofs
is foaf:primaryTopic of	wikipedia-en:Distributive_lattice