About: Complete partial order

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

Term used in mathematical order theory

Property	Value
dbo:description	wspólna nazwa różnych własności częściowych porządków (pl) term used in mathematical order theory (en)
dbo:wikiPageInterLanguageLink	dbpedia-ru:Частично_упорядоченное_множество
dbo:wikiPageWikiLink	dbr:Fixpoint dbr:Sentence_(mathematical_logic) dbr:Partially_ordered_set dbr:Chain_(order_theory) dbr:Mathematics dbr:Function_(mathematics) dbr:Theoretical_computer_science dbr:Alfred_Tarski dbr:Pointwise dbr:Denotational_semantics dbr:Scott_continuity dbr:Supremum dbr:Graph_of_a_function dbr:Empty_set dbr:Duality_(order_theory) dbr:Join_and_meet dbr:Deductive_system dbr:Filter_(mathematics) dbr:Kleene_fixed-point_theorem dbr:Cartesian_closed_category dbr:Domain_of_a_function dbr:Iterated_function dbr:Completeness_(order_theory) dbr:Category_(mathematics) dbr:Domain_theory dbr:Complete_lattice dbr:Chain-complete_partial_order dbr:Directed_set dbr:Partial_function dbr:Converse_(logic) dbc:Order_theory dbr:Inclusion_(set_theory) dbr:Sober_space dbr:Least_element dbr:Chain_complete dbr:Algebraic_poset dbr:Monotone_function dbr:Bounded_complete dbr:Order-preserving dbr:Scott_topology dbr:Specialization_order dbr:Topological_continuity
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Hairsp dbt:Short_description
dct:subject	dbc:Order_theory
gold:hypernym	dbr:Classes
rdfs:label	Complete partial order (en) Vollständige Halbordnung (de) Orden parcial completo (es) Ordre partiel complet (fr) 상향 완비 원순서 집합 (ko) 完備半順序 (ja) Porządek zupełny (pl) Completude (Dedekind) (pt) 完全偏序 (zh)
owl:sameAs	freebase:Complete partial order wikidata:Complete partial order dbpedia-de:Complete partial order dbpedia-es:Complete partial order dbpedia-pl:Complete partial order dbpedia-fr:Complete partial order dbpedia-ja:Complete partial order dbpedia-pt:Complete partial order dbpedia-zh:Complete partial order dbpedia-ko:Complete partial order dbpedia-global:Complete partial order
prov:wasDerivedFrom	wikipedia-en:Complete_partial_order?oldid=1302952197&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Complete_partial_order
is dbo:wikiPageDisambiguates of	dbr:CPO dbr:Order
is dbo:wikiPageRedirects of	dbr:Directed_complete_partial_order dbr:Directed-complete_partially_ordered_set dbr:Directed-complete_poset dbr:Complete_poset
is dbo:wikiPageWikiLink of	dbr:Semilattice dbr:Denotational_semantics dbr:Scott_domain dbr:Currying dbr:Apply dbr:Kleene_fixed-point_theorem dbr:Cartesian_closed_category dbr:Completeness_(order_theory) dbr:Computable_topology dbr:Category_(mathematics) dbr:Domain_theory dbr:Complete_lattice dbr:CPO dbr:Order dbr:Chain-complete_partial_order dbr:Directed_set dbr:Corecursion dbr:List_of_functional_programming_topics dbr:List_of_order_theory_topics dbr:Bounded_complete_poset dbr:Bekić's_theorem dbr:Power_domains dbr:Denotational_semantics_of_the_Actor_model dbr:Glossary_of_order_theory dbr:Directed_complete_partial_order dbr:Introduction_to_Lattices_and_Order dbr:Directed-complete_partially_ordered_set dbr:Directed-complete_poset dbr:Complete_poset
is foaf:primaryTopic of	wikipedia-en:Complete_partial_order