About: Dedekind–MacNeille completion

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Extension of a partially ordered set

Property	Value
dbo:description	extension of a partially ordered set (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Dedekind-Macneille_completion.svg?width=300
dbo:wikiPageExternalLink	https://books.google.com/books%3Fid=2esoXnolEWgC&pg=PA119%7Cpages=119%E2%80%93122 https://books.google.com/books%3Fid=Ci6kBgAAQBAJ&pg=PA276 https://books.google.com/books%3Fid=Gy46SP7px7gC&pg=PA177 https://books.google.com/books%3Fid=bSyQr-wUys8C&pg=PA10 https://books.google.com/books%3Fid=o4bu3ex9BdkC&pg=PA126 https://books.google.com/books%3Fid=vVVTxeuiyvQC&pg=PA166 http://planetmath.org/encyclopedia/MacNeilleCompletion.html https://hal.inria.fr/inria-00074400/file/RR-2271.pdf
dbo:wikiPageWikiLink	dbr:Residuated_lattice dbr:File:Dedekind-Macneille_completion.svg dbr:Infimum_and_supremum dbr:Maximal_clique dbr:PlanetMath dbr:Formal_concept_analysis dbr:Integer dbr:Real_number dbr:Cambridge_University_Press dbr:Set_(mathematics) dbr:Trie dbr:Antichain dbr:Injective_object dbr:Complete_lattice dbr:Distributive_lattice dbr:Richard_Dedekind dbr:Mathematics dbr:Injective_hull dbr:Reflexive_relation dbr:Clique_problem dbr:Holbrook_Mann_MacNeille dbr:Boolean_algebra_(structure) dbr:Birkhoff's_representation_theorem dbr:Mathematische_Annalen dbr:Subset dbr:Rational_number dbr:Transitive_reduction dbc:Order_theory dbr:Binary_relation dbr:Duality_(order_theory) dbr:Information_Processing_Letters dbr:Category_(mathematics) dbr:Transactions_of_the_American_Mathematical_Society dbr:Maximal_independent_set dbr:Transitive_relation dbr:Partially_ordered_set dbr:Order_dimension dbr:Dedekind_cut dbr:Antisymmetric_relation dbr:Modular_lattice dbr:Ideal_(order_theory) dbr:Extended_real_number_line dbr:Algebra_Universalis dbr:Comparability_graph dbr:Complete_Boolean_algebra dbr:Order_theory dbr:Archiv_der_Mathematik dbr:Order_(journal) dbr:Output-sensitive_algorithm dbr:Journal_of_Experimental_and_Theoretical_Artificial_Intelligence dbr:Order-embedding dbr:Marshall_Stone dbr:Neighborhood_(graph_theory) dbr:Complement_set dbr:Concept_lattice dbr:Lower_set dbr:Valery_Ivanovich_Glivenko
dbp:id	MacNeille+completion (en)
dbp:title	MacNeille completion (en)
dbp:wikiPageUsesTemplate	dbt:Nlab dbt:Reflist dbt:Redirect dbt:Math dbt:Bots dbt:Pi dbt:Citation dbt:Refend dbt:Sfnp dbt:Refbegin dbt:Mvar dbt:Harvtxt dbt:Short_description
dct:subject	dbc:Lattice_theory dbc:Order_theory
rdfs:label	Dedekind–MacNeille completion (en)
owl:sameAs	freebase:Dedekind–MacNeille completion wikidata:Dedekind–MacNeille completion dbpedia-global:Dedekind–MacNeille completion dbr:Dedekind–MacNeille completion
prov:wasDerivedFrom	wikipedia-en:Dedekind–MacNeille_completion?oldid=1291453898&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Dedekind-Macneille_completion.svg
foaf:isPrimaryTopicOf	wikipedia-en:Dedekind–MacNeille_completion
is dbo:knownFor of	dbr:Marshall_H._Stone
is dbo:wikiPageDisambiguates of	dbr:Completion
is dbo:wikiPageRedirects of	dbr:Glivenko–Stone_theorem dbr:Glivenko–Stone_theorem dbr:Glivenko-Stone_theorem dbr:Dedekind-MacNeille_completion dbr:Dedekind-completion dbr:Dedekind-macneille_completion dbr:Dedekind_completion dbr:MacNeille_completion dbr:MacNeille_completion_theorem dbr:Macneille_completion
is dbo:wikiPageWikiLink of	dbr:Injective_object dbr:Complete_lattice dbr:Partial_cyclic_order dbr:Universal_property dbr:Glossary_of_order_theory dbr:Linearly_ordered_group dbr:Dedekind_cut dbr:Completion dbr:Extended_real_number_line dbr:Complete_Boolean_algebra dbr:List_of_things_named_after_Richard_Dedekind dbr:Chain-complete_partial_order dbr:Glivenko–Stone_theorem dbr:Introduction_to_Lattices_and_Order dbr:Glivenko-Stone_theorem dbr:Dedekind-MacNeille_completion dbr:Dedekind-completion dbr:Dedekind-macneille_completion dbr:Dedekind_completion dbr:MacNeille_completion dbr:MacNeille_completion_theorem dbr:Macneille_completion
is dbp:knownFor of	dbr:Marshall_H._Stone
is foaf:primaryTopic of	wikipedia-en:Dedekind–MacNeille_completion