About: Chain-complete partial order

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

Poset completion

Property	Value
dbo:description	poset completion (en)
dbo:wikiPageWikiLink	dbr:Cardinalities dbr:Fixed_point_theorem dbr:Partially_ordered_set dbr:Chain_(order_theory) dbr:Maximal_element dbr:Mathematics dbr:Lattice_(order) dbr:Function_(mathematics) dbr:Sequence dbr:Vector_space dbr:Mathematical_proof dbr:Choice_function dbr:Zorn's_lemma dbr:Ring_(mathematics) dbr:Prime_ideal dbr:Axiom_of_choice dbr:Subset dbr:Empty_set dbr:Fixed_point_(mathematics) dbr:Dedekind–MacNeille_completion dbr:Order_theory dbr:Complete_partial_order dbr:Bourbaki–Witt_theorem dbr:First-order_logic dbr:Restriction_(mathematics) dbr:Completeness_(order_theory) dbr:Complete_lattice dbr:Partial_function dbc:Order_theory dbr:Theory_(mathematical_logic) dbr:Inclusion_(set_theory) dbr:Consistent dbr:Least_upper_bound dbr:Linearly_independent dbr:Countable
dbp:wikiPageUsesTemplate	dbt:R_from_merge
rdfs:label	Chain-complete partial order (en) 닫힌 원순서 집합 (ko)
owl:sameAs	wikidata:Chain-complete partial order dbpedia-ko:Chain-complete partial order dbpedia-global:Chain-complete partial order
prov:wasDerivedFrom	wikipedia-en:Chain-complete_partial_order?oldid=1195456056&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Chain-complete_partial_order
is dbo:wikiPageRedirects of	dbr:Chain_completeness dbr:Chain_complete
is dbo:wikiPageWikiLink of	dbr:Denotational_semantics dbr:Zorn's_lemma dbr:Complete_partial_order dbr:Chain_completeness dbr:Chain_complete
is foaf:primaryTopic of	wikipedia-en:Chain-complete_partial_order

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International