{ "d" : { "results": [ { "__metadata": { "uri": "http://dbpedia.org/resource/Glossary_of_order_theory" }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Strongly_Sperner_poset" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Cardinality" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Total_order" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Topology" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Partially_ordered_set" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Binary_relation" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Transitive_closure" } }, "http://dbpedia.org/ontology/wikiPageID": "453204", "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Linear_extension" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Bounded_complete" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Antitone" } }, "http://dbpedia.org/property/top": "yes", "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Continuous_poset" } }, "http://dbpedia.org/property/num": "yes", "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Lower_bound" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Non-empty" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Limit_preserving_(order_theory)" } }, "http://dbpedia.org/ontology/wikiPageRevisionID": "1106497434", "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Complete_Heyting_algebra" } }, "http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Compact_ToC" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Chain_complete" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Dedekind–MacNeille_completion" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/List_of_order_topics" } }, "http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "https://global.dbpedia.org/id/4kMqo" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Upper_bound" } }, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/class/yago/Product104007894" } }, "http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://yago-knowledge.org/resource/Glossary_of_order_theory" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Way-below_relation" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Least_element" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Domain_theory" } }, "http://www.w3.org/ns/prov#wasDerivedFrom": { "__deferred": { "uri": "http://en.wikipedia.org/wiki/Glossary_of_order_theory?oldid=1106497434&ns=0" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Directed_set" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Bounded_poset" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Least_upper_bound" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Maximal_element" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Preorder" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Complete_partial_order" } }, "http://www.w3.org/2000/01/rdf-schema#label": "Glossary of order theory", "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Limit_preserving_function_(order_theory)" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Mathematical_analysis" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Transitive_reduction" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Order_theory" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Scott_topology" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Comparability_graph" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Residuated_mapping" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Quasitransitive_relation" } }, "http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Citation" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Galois_connection" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Idempotent" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Strict_partial_order" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Closure_operator" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Monotonic_function" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Directed_complete_partial_order" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Supremum" } }, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/class/yago/PhysicalEntity100001930" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Strictly_Sperner_poset" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Function_composition" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Preordered_set" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Homogeneous_relation" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Cartesian_product" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Filter_(mathematics)" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Scott_domain" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Compact_element" } }, "http://dbpedia.org/ontology/abstract": "This is a glossary of some terms used in various branches of mathematics that are related to the fields of order, lattice, and domain theory. Note that there is a structured list of order topics available as well. Other helpful resources might be the following overview articles: * completeness properties of partial orders * distributivity laws of order theory * preservation properties of functions between posets. In the following, partial orders will usually just be denoted by their carrier sets. As long as the intended meaning is clear from the context, will suffice to denote the corresponding relational symbol, even without prior introduction. Furthermore, < will denote the strict order induced by", "http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Wiktionary" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Continuity_(topology)" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Infimum" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Monotone_function" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Alexandrov_topology" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Scott-continuous" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Sperner_property_of_a_partially_ordered_set" } }, "http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Em" } }, "http://purl.org/dc/terms/subject": { "__deferred": { "uri": "http://dbpedia.org/resource/Category:Glossaries_of_mathematics" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Incidence_algebra" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Antisymmetric_relation" } }, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/class/yago/Whole100003553" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Antichain" } }, "http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://www.wikidata.org/entity/Q5571842" } }, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/class/yago/Work104599396" } }, "http://purl.org/dc/terms/subject": { "__deferred": { "uri": "http://dbpedia.org/resource/Category:Order_theory" } }, "http://www.w3.org/2000/01/rdf-schema#comment": "This is a glossary of some terms used in various branches of mathematics that are related to the fields of order, lattice, and domain theory. Note that there is a structured list of order topics available as well. Other helpful resources might be the following overview articles: * completeness properties of partial orders * distributivity laws of order theory * preservation properties of functions between posets.", "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Hasse_diagram" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Isomorphic" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Minimal_element" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Locally_finite_poset" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Lattice_(order)" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Complete_Boolean_algebra" } }, "http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Short_description" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Bijective" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Distributivity_(order_theory)" } }, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/class/yago/Publication106589574" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Relation_(mathematics)" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Mathematics" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Upper_set" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Sperner_poset" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Graph_(discrete_mathematics)" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Strict_order" } }, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/class/yago/Artifact100021939" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Derangement" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Category:Glossaries_of_mathematics" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Algebraic_poset" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Lower_set" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Duality_(order_theory)" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Irreflexive" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Order-reversing" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Strict_preorder" } }, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/class/yago/Object100002684" } }, "http://dbpedia.org/ontology/wikiPageLength": "29221", "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Limit-preserving_function_(order_theory)" } }, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/class/yago/ReferenceBook106417598" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Semilattice" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Pointless_topology" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Comparability" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Weak_order" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Partial_order" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Complete_lattice" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Transitive_relation" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Completely_distributive_lattice" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Order-preserving" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Category:Order_theory" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Introduction_to_Lattices_and_Order" } }, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/class/yago/Wordbook106418693" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Scattered_order" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Greatest_element" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Associative_algebra" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Order_isomorphism" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Completeness_(order_theory)" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Irreflexive_relation" } }, "http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Reflist" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Ideal_(order_theory)" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Dense_order" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Stone_duality" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Order-embedding" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/If_and_only_if" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Symmetric_relation" } }, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/class/yago/WikicatGlossariesOfMathematics" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Interval_(mathematics)" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Reflexive_relation" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Connected_relation" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Boolean_algebra_(structure)" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Order_ideal" } }, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/class/yago/Creation103129123" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Asymmetric_relation" } }, "http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Heyting_algebra" } }, "http://dbpedia.org/property/side": "yes", "http://xmlns.com/foaf/0.1/isPrimaryTopicOf": { "__deferred": { "uri": "http://en.wikipedia.org/wiki/Glossary_of_order_theory" } }, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/class/yago/Glossary106420781" } }, "http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/class/yago/Book106410904" } } } ], "__count": "1" } }
  NODES
Idea 2
idea 2
Note 5