{ "items" : [
    { "id" : "http://dbpedia.org/resource/Order_theory"
      "properties" : {
        "http://www.w3.org/1999/02/22-rdf-syntax-ns#type" : [ "http://dbpedia.org/resource/Branch",
          "http://dbpedia.org/ontology/Organisation",
          "http://dbpedia.org/ontology/Agent",
          "http://www.w3.org/2002/07/owl#Thing" ] ,
        "http://www.w3.org/2000/01/rdf-schema#label" : [ "Teoria de l'ordre",
          "順序集合",
          "نظرية الترتيب",
          "Ordetheorie",
          "Теория порядков",
          "Teoría del orden",
          "순서론",
          "Teoria da ordem",
          "序理论",
          "Θεωρία διάταξης",
          "Order theory",
          "Teorie uspořádání",
          "Teoria degli ordini",
          "Teori order",
          "Теорія порядку" ] ,
        "http://www.w3.org/2000/01/rdf-schema#comment" : [ "La teoría del orden es una rama de la matemática que estudia varias clases de relaciones binarias que capturan la noción intuitiva del orden matemático. Este artículo provee una introducción detallada a este campo e incluye algunas de las definiciones básicas. Para una rápida búsqueda de un término orden teórico, hay también un . Una recoge los artículos que existen en relación con esta teoría del orden.",
          "数学において順序集合（じゅんじょしゅうごう、英: ordered set）とは、大小関係や血縁関係のような順序が定義された集合のことである。順序は一般に二項関係として定義されるが、その順序集合の任意の2つの元に対して必ず定まるとは限らない。 比較不能の場合を許容する順序集合として典型的なのは後述する半順序集合（partially ordered set; poset）である。特に、半順序集合で全ての2元が比較可能であるものを全順序集合 (totally ordered set; toset) という。 全順序の最も簡単な例は、実数における大小関係である。 一方、全順序ではない半順序集合の例としては、正の整数全体の集合に整除関係で順序を入れたものや、（2つ以上元を含む）集合の冪集合において、包含関係を順序と見なしたものがある。例えば2元集合 S = {a, b} において {a} と {b} はいずれも他方を包含していないので S の冪集合は全順序ではない。",
          "نظرية الترتيب هي فرع من الرياضيات يهتم بدراسة الأنواع المختلفة من العلاقات الثنائية التي تعطي انطباعا حسّياً عن فكرة ترتيبها موفرة بنية يمكن القول من خلالها متى يكون الشيء «أقل من» أو «يسبق» الآخر. تدرس نظرية الترتيب مختلف أنواع العلاقات الثنائية بين العناصر الرياضية المختلفة التي ترمز ترتيب هذه العناصر.",
          "Θεωρία διάταξης είναι ένας κλάδος των μαθηματικών που ερευνά τη διαισθητική έννοια της διάταξης στο . Παρέχει ένα επίσημο πλαίσιο για την περιγραφή των καταστάσεων, όπως \"αυτό είναι μικρότερο από αυτό\" ή \"αυτό προηγείται εκείνου\". Το άρθρο αυτό εισάγει το πεδίο και παρέχει τους βασικούς ορισμούς. Μια λίστα θεωρητικών διατάξεων μπορεί να βρεθεί στο .",
          "序理论是研究捕获数学排序的直觉概念的各种二元关系的数学分支。",
          "Teoria da ordem é um ramo da matemática que estuda vários tipos de relações binárias que capturam a noção intuitiva de .",
          "La teoria de l'ordre és una branca de la matemàtica que estudia diverses classes de relació binària que capturen la noció intuïtiva de l'ordre matemàtic. L'ordre apareix per tot arreu. El primer ordre que hom troba en el procés educatiu és l'ordre ≤ dels nombres naturals. Aquest concepte intuïtiu fàcilment s'amplia a altres conjunts de nombres, com són els enters i els nombres reals.",
          "La teoria degli ordini è una branca della matematica che studia dei particolari tipi di relazioni binarie, dette ordini e preordini, che inducono sui loro insiemi supporto una struttura che richiama l'idea intuitiva di ordinare gli elementi.",
          "Teorie uspořádání je matematická disciplína, která se zabývá studiem binárních relací zachycujících intuitivní pojem uspořádání.",
          "Тео́рія поря́дку (англ. Order theory) — це галузь математики, яка досліджує інтуїтивне поняття порядку із застосуванням бінарних відношень. Вона забезпечує формальну систему для опису таких тверджень, як «це є меншим за те» або «це передує тому».",
          "In de wiskunde houdt de ordetheorie zich bezig met de verschillende manieren om de elementen van een verzameling te sorteren, ze in een gekozen volgorde te kunnen plaatsen. Daartoe wordt de volgorde vastgelegd als een relatie tussen twee elementen die aangeeft welke van de elementen opvolger is van het andere. Kenmerkend voor een dergelijke orde is dat die transitief is. Er worden in de ordetheorie vormen van orde beschreven, waarin nog niet alle elementen volledig zijn gesorteerd. De vier meest voorkomende vormen van orde zijn de totale orde, de partiële orde, de totale preorde en de preorde. De elementen zijn in een totale orde volledig gesorteerd, maar in een preorde is er alleen nog maar een eerste ordening.",
          "Teori order (bahasa Inggris: order theory) atau teori tatanan dan teori urutan (= teori keteraturan) adalah suatu cabang matematika yang meneliti pandangan intuitif manusia terhadap tatanan atau keteraturan dengan menggunakan hubungan biner. Teori ini memberikan kerangka formal untuk mengungkapkan pernyataan-pernyataan seperti \"ini lebih kecil dari itu\" atau \"ini mendahului itu\". Dalam artikel ini diperkenalkan bidang ini dan memberikan definisi dasar. Daftar istilah teori-orde dapat ditemukan di .",
          "Order theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as \"this is less than that\" or \"this precedes that\". This article introduces the field and provides basic definitions. A list of order-theoretic terms can be found in the order theory glossary.",
          "순서론(順序論, 영어: order theory)은 이항 관계들 중에서 '순서'의 개념을 확장한 것으로 볼 수 있는 것들을 다루는 수학의 분야이다." ] ,
        "http://www.w3.org/2002/07/owl#sameAs" : [ "http://ar.dbpedia.org/resource/نظرية_الترتيب",
          "http://d-nb.info/gnd/4172733-2",
          "http://dbpedia.org/resource/Order_theory",
          "http://www.wikidata.org/entity/Q24175351",
          "http://ja.dbpedia.org/resource/順序集合",
          "http://it.dbpedia.org/resource/Teoria_degli_ordini",
          "http://da.dbpedia.org/resource/Ordningsteori",
          "http://uk.dbpedia.org/resource/Теорія_порядку",
          "http://ru.dbpedia.org/resource/Теория_порядков",
          "http://bg.dbpedia.org/resource/Теория_на_наредбите",
          "http://ca.dbpedia.org/resource/Teoria_de_l'ordre",
          "http://fa.dbpedia.org/resource/نظریه_ترتیب",
          "http://hr.dbpedia.org/resource/Teorija_redova",
          "http://ms.dbpedia.org/resource/Teori_tertib",
          "http://cs.dbpedia.org/resource/Teorie_uspořádání",
          "http://el.dbpedia.org/resource/Θεωρία_διάταξης",
          "http://id.dbpedia.org/resource/Teori_order",
          "http://ko.dbpedia.org/resource/순서론",
          "http://pt.dbpedia.org/resource/Teoria_da_ordem",
          "http://simple.dbpedia.org/resource/Order_theory",
          "http://sk.dbpedia.org/resource/Teória_usporiadania",
          "http://sl.dbpedia.org/resource/Urejenost",
          "http://tr.dbpedia.org/resource/Sıra_teorisi",
          "https://global.dbpedia.org/id/2H7R3",
          "http://zh.dbpedia.org/resource/序理论",
          "http://rdf.freebase.com/ns/m.01_jcq",
          "http://nl.dbpedia.org/resource/Ordetheorie",
          "http://es.dbpedia.org/resource/Teoría_del_orden",
          "http://yago-knowledge.org/resource/Order_relation" ] ,
        "http://xmlns.com/foaf/0.1/topic" : [ "http://dbpedia.org/resource/Fitting's_theorem",
          "http://dbpedia.org/resource/Order",
          "http://dbpedia.org/resource/List_of_order_structures_in_mathematics",
          "http://dbpedia.org/resource/Uniform-machines_scheduling",
          "http://dbpedia.org/resource/Series-parallel_partial_order",
          "http://dbpedia.org/resource/List_of_order_theory_topics",
          "http://dbpedia.org/resource/Order-theoretic",
          "http://dbpedia.org/resource/Banach_lattice",
          "http://dbpedia.org/resource/Order_dual_(functional_analysis)",
          "http://dbpedia.org/resource/Distributive_property",
          "http://dbpedia.org/resource/Relation_(mathematics)",
          "http://dbpedia.org/resource/Aristotelian_realist_philosophy_of_mathematics",
          "http://dbpedia.org/resource/List_of_types_of_functions",
          "http://dbpedia.org/resource/Opposite_category",
          "http://dbpedia.org/resource/Abstract_m-space",
          "http://dbpedia.org/resource/Set_theory_(music)",
          "http://dbpedia.org/resource/Introduction_to_Lattices_and_Order",
          "http://dbpedia.org/resource/Metric_lattice",
          "http://dbpedia.org/resource/Greatest_element_and_least_element",
          "http://dbpedia.org/resource/Ring_of_sets",
          "http://dbpedia.org/resource/Abstract_L-space",
          "http://dbpedia.org/resource/Continuous_poset",
          "http://dbpedia.org/resource/Cantor's_isomorphism_theorem",
          "http://dbpedia.org/resource/Connected_relation",
          "http://dbpedia.org/resource/Greedoid",
          "http://dbpedia.org/resource/Field_of_sets",
          "http://dbpedia.org/resource/Ultrafilter",
          "http://dbpedia.org/resource/Outline_of_algebraic_structures",
          "http://dbpedia.org/resource/Lattice_(order)",
          "http://dbpedia.org/resource/Archimedean_ordered_vector_space",
          "http://dbpedia.org/resource/Map_of_lattices",
          "http://dbpedia.org/resource/Cartesian_closed_category",
          "http://dbpedia.org/resource/Viable_system_model",
          "http://dbpedia.org/resource/Duality_(order_theory)",
          "http://dbpedia.org/resource/Linear_extension",
          "http://dbpedia.org/resource/The_Principles_of_Mathematics",
          "http://dbpedia.org/resource/Completeness_(order_theory)",
          "http://dbpedia.org/resource/Tree_(descriptive_set_theory)",
          "http://dbpedia.org/resource/Continuous_function",
          "http://dbpedia.org/resource/Complete_lattice",
          "http://dbpedia.org/resource/Wilhelmus_Luxemburg",
          "http://dbpedia.org/resource/Specialization_(pre)order",
          "http://dbpedia.org/resource/Locally_convex_vector_lattice",
          "http://dbpedia.org/resource/Solid_set",
          "http://dbpedia.org/resource/Mathematical_structure",
          "http://dbpedia.org/resource/Formal_concept_analysis",
          "http://dbpedia.org/resource/Principal_ideal",
          "http://dbpedia.org/resource/OBJ_(programming_language)",
          "http://dbpedia.org/resource/Mirsky's_theorem",
          "http://dbpedia.org/resource/Distributivity_(order_theory)",
          "http://dbpedia.org/resource/Dilworth's_theorem",
          "http://dbpedia.org/resource/Multitree",
          "http://dbpedia.org/resource/Regularly_ordered",
          "http://dbpedia.org/resource/Intersection_graph",
          "http://dbpedia.org/resource/Strong_antichain",
          "http://dbpedia.org/resource/Countable_chain_condition",
          "http://dbpedia.org/resource/Join_and_meet",
          "http://dbpedia.org/resource/Circle_of_fifths",
          "http://dbpedia.org/resource/Galois_connection",
          "http://dbpedia.org/resource/Linear_continuum",
          "http://dbpedia.org/resource/Antichain",
          "http://dbpedia.org/resource/Anne_C._Morel",
          "http://dbpedia.org/resource/Order_relation",
          "http://dbpedia.org/resource/Domain_theory",
          "http://dbpedia.org/resource/Order_structure",
          "http://dbpedia.org/resource/Order_summable",
          "http://dbpedia.org/resource/Morse–Kelley_set_theory",
          "http://dbpedia.org/resource/List_of_general_topology_topics",
          "http://dbpedia.org/resource/Multiplication",
          "http://dbpedia.org/resource/Least_fixed_point",
          "http://dbpedia.org/resource/Indicator_function",
          "http://dbpedia.org/resource/Glossary_of_order_theory",
          "http://dbpedia.org/resource/Automorphism",
          "http://dbpedia.org/resource/Surreal_number",
          "http://dbpedia.org/resource/Kleene_fixed-point_theorem",
          "http://dbpedia.org/resource/Topological_vector_lattice",
          "http://dbpedia.org/resource/Glossary_of_areas_of_mathematics",
          "http://dbpedia.org/resource/Sperner_property_of_a_partially_ordered_set",
          "http://dbpedia.org/resource/Better-quasi-ordering",
          "http://dbpedia.org/resource/Order_topology_(functional_analysis)",
          "http://dbpedia.org/resource/Maximal_and_minimal_elements",
          "http://dbpedia.org/resource/Bounded_complete_poset",
          "http://dbpedia.org/resource/Kleene's_recursion_theorem",
          "http://dbpedia.org/resource/Logical_hexagon",
          "http://dbpedia.org/resource/Fréchet_filter",
          "http://dbpedia.org/resource/Homogeneous_relation",
          "http://dbpedia.org/resource/Filters_in_topology",
          "http://dbpedia.org/resource/Floor_and_ceiling_functions",
          "http://dbpedia.org/resource/Borel_subgroup",
          "http://dbpedia.org/resource/Augustus_De_Morgan",
          "http://dbpedia.org/resource/Glossary_of_computer_science",
          "http://dbpedia.org/resource/C_(programming_language)",
          "http://dbpedia.org/resource/Henry_Forder",
          "http://dbpedia.org/resource/Well-founded_relation",
          "http://dbpedia.org/resource/Monotonic_function",
          "http://dbpedia.org/resource/Band_(order_theory)",
          "http://dbpedia.org/resource/Hasse_diagram",
          "http://dbpedia.org/resource/List_of_academic_fields",
          "http://dbpedia.org/resource/Outline_of_combinatorics",
          "http://dbpedia.org/resource/Magnitude_(mathematics)",
          "http://dbpedia.org/resource/List_of_mathematical_theories",
          "http://dbpedia.org/resource/Isomorphism",
          "http://dbpedia.org/resource/Topological_geometry",
          "http://dbpedia.org/resource/Critical_pair_(order_theory)",
          "http://dbpedia.org/resource/List_of_lemmas",
          "http://dbpedia.org/resource/Normed_vector_lattice",
          "http://dbpedia.org/resource/Interval_order",
          "http://dbpedia.org/resource/Hans_Hahn_(mathematician)",
          "http://dbpedia.org/resource/Scott_domain",
          "http://dbpedia.org/resource/Cofinality",
          "http://dbpedia.org/resource/Disjunction_property_of_Wallman",
          "http://dbpedia.org/resource/Ismat_Beg",
          "http://dbpedia.org/resource/Embedding",
          "http://dbpedia.org/resource/Size",
          "http://dbpedia.org/resource/String_(computer_science)",
          "http://dbpedia.org/resource/1/3–2/3_conjecture",
          "http://dbpedia.org/resource/Dushnik–Miller_theorem",
          "http://dbpedia.org/resource/Atomic_lattice",
          "http://dbpedia.org/resource/List_of_agnostics",
          "http://dbpedia.org/resource/Power_set",
          "http://dbpedia.org/resource/Marginalism",
          "http://dbpedia.org/resource/Serial_relation",
          "http://dbpedia.org/resource/Ivan_Rival",
          "http://dbpedia.org/resource/Ideal_(ring_theory)",
          "http://dbpedia.org/resource/Mathematics,_Form_and_Function",
          "http://dbpedia.org/resource/Ideal_(order_theory)",
          "http://dbpedia.org/resource/Cofinal_(mathematics)",
          "http://dbpedia.org/resource/Order_theory#this",
          "http://dbpedia.org/resource/Laver's_theorem",
          "http://dbpedia.org/resource/Non-measurable_set",
          "http://dbpedia.org/resource/Order-reflecting",
          "http://dbpedia.org/resource/Currying",
          "http://dbpedia.org/resource/Convex_conjugate",
          "http://dbpedia.org/resource/Koecher–Vinberg_theorem",
          "http://dbpedia.org/resource/Ordered_set_operators",
          "http://dbpedia.org/resource/Binary_relation",
          "http://dbpedia.org/resource/Ordered_topological_vector_space",
          "http://dbpedia.org/resource/Lattice_disjoint",
          "http://dbpedia.org/resource/Semimodular_lattice",
          "http://dbpedia.org/resource/Bounded_set",
          "http://dbpedia.org/resource/Universal_algebra",
          "http://dbpedia.org/resource/Order_(mathematics)",
          "http://dbpedia.org/resource/Outline_of_academic_disciplines",
          "http://dbpedia.org/resource/Well-quasi-ordering",
          "http://dbpedia.org/resource/Dedekind–MacNeille_completion",
          "http://dbpedia.org/resource/Organizing_(management)",
          "http://dbpedia.org/resource/Complete_Heyting_algebra",
          "http://dbpedia.org/resource/Hierarchy_(mathematics)",
          "http://dbpedia.org/resource/Cantor–Bernstein_theorem",
          "http://dbpedia.org/resource/Boolean_prime_ideal_theorem",
          "http://en.wikipedia.org/wiki/Order_theory",
          "http://dbpedia.org/resource/Lexicographic_product",
          "http://dbpedia.org/resource/Chain-complete_partial_order",
          "http://dbpedia.org/resource/Inclusion_order",
          "http://dbpedia.org/resource/Schema_(genetic_algorithms)",
          "http://dbpedia.org/resource/Fixed-point_property",
          "http://dbpedia.org/resource/Ed_Scheinerman",
          "http://dbpedia.org/resource/Order_convergence",
          "http://dbpedia.org/resource/Order_complete",
          "http://dbpedia.org/resource/Limit-preserving_function_(order_theory)",
          "http://dbpedia.org/resource/Causal_sets",
          "http://dbpedia.org/resource/Semiorder",
          "http://dbpedia.org/resource/Order_embedding",
          "http://dbpedia.org/resource/Mathematics_Subject_Classification",
          "http://dbpedia.org/resource/Duality_(mathematics)",
          "http://dbpedia.org/resource/Bourbaki–Witt_theorem",
          "http://dbpedia.org/resource/Nucleus_(order_theory)",
          "http://dbpedia.org/resource/Robert_B._Lisek",
          "http://dbpedia.org/resource/Deviation_of_a_poset",
          "http://dbpedia.org/resource/List_of_theorems",
          "http://dbpedia.org/resource/Order_isomorphism",
          "http://dbpedia.org/resource/Preorder",
          "http://dbpedia.org/resource/Cone-saturated",
          "http://dbpedia.org/resource/Atom_(order_theory)",
          "http://dbpedia.org/resource/Pointwise",
          "http://dbpedia.org/resource/Two-element_Boolean_algebra",
          "http://dbpedia.org/resource/Outline_of_mathematics",
          "http://dbpedia.org/resource/Scattered_order",
          "http://dbpedia.org/resource/Upper_and_lower_bounds",
          "http://dbpedia.org/resource/Least-upper-bound_property",
          "http://dbpedia.org/resource/Pseudocomplement",
          "http://dbpedia.org/resource/Sequence",
          "http://dbpedia.org/resource/Sieve_(category_theory)",
          "http://dbpedia.org/resource/Covering_relation",
          "http://dbpedia.org/resource/Cyclic_order",
          "http://dbpedia.org/resource/New_riddle_of_induction",
          "http://dbpedia.org/resource/Infimum_and_supremum",
          "http://dbpedia.org/resource/Algebraic_logic",
          "http://dbpedia.org/resource/Quasi-interior_point",
          "http://dbpedia.org/resource/Outline_of_formal_science",
          "http://dbpedia.org/resource/List_(abstract_data_type)",
          "http://dbpedia.org/resource/Number_line",
          "http://dbpedia.org/resource/Betweenness",
          "http://dbpedia.org/resource/Semilattice",
          "http://dbpedia.org/resource/Complemented_lattice",
          "http://dbpedia.org/resource/Order_bound_dual",
          "http://dbpedia.org/resource/Bisimulation",
          "http://dbpedia.org/resource/Weak_order_unit",
          "http://dbpedia.org/resource/Weak_ordering",
          "http://dbpedia.org/resource/Galois_group",
          "http://dbpedia.org/resource/Fréchet_lattice",
          "http://dbpedia.org/resource/Incidence_algebra",
          "http://dbpedia.org/resource/Consequentialism",
          "http://dbpedia.org/resource/Completely_distributive_lattice",
          "http://dbpedia.org/resource/Von_Neumann–Bernays–Gödel_set_theory",
          "http://dbpedia.org/resource/0.999...",
          "http://dbpedia.org/resource/Pareto_efficiency",
          "http://dbpedia.org/resource/Modular_lattice",
          "http://dbpedia.org/resource/DLO",
          "http://dbpedia.org/resource/Michael_Saks_(mathematician)",
          "http://dbpedia.org/resource/Distributive_lattice",
          "http://dbpedia.org/resource/Free_lattice",
          "http://dbpedia.org/resource/Compact_element",
          "http://dbpedia.org/resource/Lexicographic_product_of_graphs",
          "http://dbpedia.org/resource/Ranking",
          "http://dbpedia.org/resource/Convex_preferences",
          "http://dbpedia.org/resource/Chain_(algebraic_topology)",
          "http://dbpedia.org/resource/Infinite_divisibility",
          "http://dbpedia.org/resource/Szpilrajn_extension_theorem",
          "http://dbpedia.org/resource/Fixed_point_(mathematics)",
          "http://dbpedia.org/resource/Partially_ordered_set",
          "http://dbpedia.org/resource/Finitary_relation",
          "http://dbpedia.org/resource/Apply",
          "http://dbpedia.org/resource/Order_(journal)",
          "http://dbpedia.org/resource/Algebraic_semantics_(mathematical_logic)",
          "http://dbpedia.org/resource/Discrete_mathematics",
          "http://dbpedia.org/resource/Prefix_order",
          "http://dbpedia.org/resource/Graph_labeling",
          "http://dbpedia.org/resource/October_1912",
          "http://dbpedia.org/resource/Filter_(set_theory)",
          "http://dbpedia.org/resource/Filter_(mathematics)",
          "http://dbpedia.org/resource/Knaster–Tarski_theorem",
          "http://dbpedia.org/resource/Normal_cone_(functional_analysis)" ] ,
        "http://xmlns.com/foaf/0.1/depiction" : [ "http://commons.wikimedia.org/wiki/Special:FilePath/Lattice_of_the_divisibility_of_60.svg" ] ,
        "http://www.w3.org/2007/05/powder-s#describedby" : [ "https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Transitive_relation",
          "https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Functional_analysis",
          "https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Open_set",
          "https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Charles_Sanders_Peirce",
          "https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Lattice_(order)",
          "http://localhost:8890/about/id/entity/http/dbpedia.org/resource/Pointwise_order",
          "https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Template:Wiktionary",
          "https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Distributive_lattice",
          "https://covidontheweb.inria.fr:4443/about/id/entity/http/dbpedia.org/resource/Mathematical_logic" ] ,
        "http://purl.org/dc/terms/subject" : [ "http://dbpedia.org/resource/Category:Order_theory" ] ,
        "http://dbpedia.org/ontology/wikiPageID" : [ 361924 ] ,
        "http://dbpedia.org/ontology/wikiPageRevisionID" : [ 1070386518 ] ,
        "http://dbpedia.org/ontology/wikiPageWikiLink" : [ "http://dbpedia.org/resource/Vertex_(graph_theory)",
          "http://dbpedia.org/resource/Antichain",
          "http://dbpedia.org/resource/Heyting_algebra",
          "http://dbpedia.org/resource/Oswald_Veblen",
          "http://dbpedia.org/resource/Mathematical_logic",
          "http://dbpedia.org/resource/H._S._M._Coxeter",
          "http://dbpedia.org/resource/Alexandrov_topology",
          "http://dbpedia.org/resource/Maximal_element",
          "http://dbpedia.org/resource/Ellipsis",
          "http://dbpedia.org/resource/Well_partial_order",
          "http://dbpedia.org/resource/Comparison_of_topologies",
          "http://dbpedia.org/resource/Surjective",
          "http://dbpedia.org/resource/Supremum",
          "http://dbpedia.org/resource/Interval_order",
          "http://dbpedia.org/resource/Function_space",
          "http://dbpedia.org/resource/Quantale",
          "http://dbpedia.org/resource/Causal_Sets",
          "http://dbpedia.org/resource/Limit_(category_theory)",
          "http://dbpedia.org/resource/Distributivity_(order_theory)",
          "http://dbpedia.org/resource/Ideal_(order_theory)",
          "http://dbpedia.org/resource/File:Lattice_of_the_divisibility_of_60.svg",
          "http://dbpedia.org/resource/Total_order",
          "http://dbpedia.org/resource/Number",
          "http://dbpedia.org/resource/Lineal_descent",
          "http://dbpedia.org/resource/Partial_order",
          "http://dbpedia.org/resource/Ernst_Schröder_(mathematician)",
          "http://dbpedia.org/resource/Powerset",
          "http://dbpedia.org/resource/Subbase",
          "http://dbpedia.org/resource/Numeral_systems",
          "http://dbpedia.org/resource/Subset",
          "http://dbpedia.org/resource/Directed_acyclic_graph",
          "http://dbpedia.org/resource/Product_(category_theory)",
          "http://dbpedia.org/resource/Distributive_lattice",
          "http://dbpedia.org/resource/Lawson_topology",
          "http://dbpedia.org/resource/Bertrand_Russell",
          "http://dbpedia.org/resource/Category_theory",
          "http://dbpedia.org/resource/Free_object",
          "http://dbpedia.org/resource/Least_upper_bound",
          "http://dbpedia.org/resource/Equivalence_relation",
          "http://dbpedia.org/resource/Giuseppi_Peano",
          "http://dbpedia.org/resource/Division_(mathematics)",
          "http://dbpedia.org/resource/Physicians",
          "http://dbpedia.org/resource/Monotonic_function",
          "http://dbpedia.org/resource/Set_(mathematics)",
          "http://dbpedia.org/resource/T0_space",
          "http://dbpedia.org/resource/Set_theory",
          "http://dbpedia.org/resource/Greatest_lower_bound",
          "http://dbpedia.org/resource/Cartesian_product",
          "http://dbpedia.org/resource/Graph_drawing",
          "http://dbpedia.org/resource/Limit-preserving_function_(order_theory)",
          "http://dbpedia.org/resource/Hierarchy",
          "http://dbpedia.org/resource/Least_element",
          "http://dbpedia.org/resource/Serial_relation",
          "http://dbpedia.org/resource/Natural_number",
          "http://dbpedia.org/resource/Greatest_element",
          "http://dbpedia.org/resource/Rational_number",
          "http://dbpedia.org/resource/Closed_set",
          "http://dbpedia.org/resource/Moritz_Pasch",
          "http://dbpedia.org/resource/Topology",
          "http://dbpedia.org/resource/Incidence_algebra",
          "http://dbpedia.org/resource/Adjoint_functor",
          "http://dbpedia.org/resource/Textbook",
          "http://dbpedia.org/resource/Closure_operator",
          "http://dbpedia.org/resource/Ordered_geometry",
          "http://dbpedia.org/resource/Scott_topology",
          "http://dbpedia.org/resource/Upper_bound",
          "http://dbpedia.org/resource/Richard_Dedekind",
          "http://dbpedia.org/resource/Net_(mathematics)",
          "http://dbpedia.org/resource/Garrett_Birkhoff",
          "http://dbpedia.org/resource/Scott-continuous",
          "http://dbpedia.org/resource/Pointwise_order",
          "http://dbpedia.org/resource/Complement_(set_theory)",
          "http://dbpedia.org/resource/Strict_weak_ordering",
          "http://dbpedia.org/resource/Real_number",
          "http://dbpedia.org/resource/Filter_(mathematics)",
          "http://dbpedia.org/resource/Cyclic_order",
          "http://dbpedia.org/resource/Finite_set",
          "http://dbpedia.org/resource/Strict_order",
          "http://dbpedia.org/resource/Reflexive_relation",
          "http://dbpedia.org/resource/Subtraction",
          "http://dbpedia.org/resource/Specialization_(pre)order",
          "http://dbpedia.org/resource/Converse_relation",
          "http://dbpedia.org/resource/Duality_(order_theory)",
          "http://dbpedia.org/resource/Boolean_ring",
          "http://dbpedia.org/resource/Alphabetical_order",
          "http://dbpedia.org/resource/Circles",
          "http://dbpedia.org/resource/Arithmetic",
          "http://dbpedia.org/resource/Boolean_algebra_(structure)",
          "http://dbpedia.org/resource/Order-embedding",
          "http://dbpedia.org/resource/The_Principles_of_Mathematics",
          "http://dbpedia.org/resource/Specialization_order",
          "http://dbpedia.org/resource/Union_(set_theory)",
          "http://dbpedia.org/resource/David_Hilbert",
          "http://dbpedia.org/resource/Infimum",
          "http://dbpedia.org/resource/Poset",
          "http://dbpedia.org/resource/Mathematics",
          "http://dbpedia.org/resource/Equivalence_of_categories",
          "http://dbpedia.org/resource/Lattice_(order)",
          "http://dbpedia.org/resource/Antisymmetric_relation",
          "http://dbpedia.org/resource/Hasse_diagram",
          "http://dbpedia.org/resource/Universal_algebra",
          "http://dbpedia.org/resource/Computer_science",
          "http://dbpedia.org/resource/Open_set",
          "http://dbpedia.org/resource/Domain_theory",
          "http://dbpedia.org/resource/Least_common_multiple",
          "http://dbpedia.org/resource/Function_(mathematics)",
          "http://dbpedia.org/resource/Bijective",
          "http://dbpedia.org/resource/Charles_Sanders_Peirce",
          "http://dbpedia.org/resource/Semiorder",
          "http://dbpedia.org/resource/Well-founded_relation",
          "http://dbpedia.org/resource/Disjoint_union",
          "http://dbpedia.org/resource/Ellipse",
          "http://dbpedia.org/resource/Transitive_relation",
          "http://dbpedia.org/resource/Category:Order_theory",
          "http://dbpedia.org/resource/Natural_numbers",
          "http://dbpedia.org/resource/Integer",
          "http://dbpedia.org/resource/Pointless_topology",
          "http://dbpedia.org/resource/Immanuel_Kant",
          "http://dbpedia.org/resource/Empty_subset",
          "http://dbpedia.org/resource/George_Boole",
          "http://dbpedia.org/resource/Bounded_poset",
          "http://dbpedia.org/resource/Primary_school",
          "http://dbpedia.org/resource/Continuous_function_(topology)",
          "http://dbpedia.org/resource/Minimal_element",
          "http://dbpedia.org/resource/Directed_set",
          "http://dbpedia.org/resource/Completeness_(order_theory)",
          "http://dbpedia.org/resource/Representation_theorem",
          "http://dbpedia.org/resource/Upper_topology",
          "http://dbpedia.org/resource/Product_order",
          "http://dbpedia.org/resource/Interval_(mathematics)",
          "http://dbpedia.org/resource/Greatest_common_divisor",
          "http://dbpedia.org/resource/Binary_relation",
          "http://dbpedia.org/resource/Functional_analysis",
          "http://dbpedia.org/resource/Number_systems",
          "http://dbpedia.org/resource/Algebraic_structure",
          "http://dbpedia.org/resource/Graph_theory",
          "http://dbpedia.org/resource/Order_theory_glossary",
          "http://dbpedia.org/resource/Directed_complete_partial_order",
          "http://dbpedia.org/resource/Idempotent",
          "http://dbpedia.org/resource/Free_lattice",
          "http://dbpedia.org/resource/Euler_characteristic",
          "http://dbpedia.org/resource/Partially_ordered_set",
          "http://dbpedia.org/resource/Divisor",
          "http://dbpedia.org/resource/Order_isomorphism",
          "http://dbpedia.org/resource/Empty_set",
          "http://dbpedia.org/resource/Preorder",
          "http://dbpedia.org/resource/Galois_connection",
          "http://dbpedia.org/resource/Complete_lattice",
          "http://dbpedia.org/resource/Zorn's_Lemma",
          "http://dbpedia.org/resource/Stone_duality",
          "http://dbpedia.org/resource/Genealogy",
          "http://dbpedia.org/resource/Pediatricians" ] ,
        "http://dbpedia.org/ontology/wikiPageExternalLink" : [ "http://www.apronus.com/provenmath/orders.htm",
          "https://archive.org/details/continuouslattic0000unse",
          "http://www.felixnagel.org",
          "https://archive.org/details/courseinuniversa00stan%7Ctitle=A" ] ,
        "http://xmlns.com/foaf/0.1/isPrimaryTopicOf" : [ "http://en.wikipedia.org/wiki/Order_theory" ] ,
        "http://www.w3.org/ns/prov#wasDerivedFrom" : [ "http://en.wikipedia.org/wiki/Order_theory?oldid=1070386518&ns=0" ] ,
        "http://purl.org/linguistics/gold/hypernym" : [ "http://dbpedia.org/resource/Branch" ] ,
        "http://dbpedia.org/ontology/abstract" : [ "Order theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as \"this is less than that\" or \"this precedes that\". This article introduces the field and provides basic definitions. A list of order-theoretic terms can be found in the order theory glossary.",
          "Тео́рія поря́дку (англ. Order theory) — це галузь математики, яка досліджує інтуїтивне поняття порядку із застосуванням бінарних відношень. Вона забезпечує формальну систему для опису таких тверджень, як «це є меншим за те» або «це передує тому».",
          "La teoria de l'ordre és una branca de la matemàtica que estudia diverses classes de relació binària que capturen la noció intuïtiva de l'ordre matemàtic. L'ordre apareix per tot arreu. El primer ordre que hom troba en el procés educatiu és l'ordre ≤ dels nombres naturals. Aquest concepte intuïtiu fàcilment s'amplia a altres conjunts de nombres, com són els enters i els nombres reals. Els tipus d'ordre anteriors tenen una propietat especial: cada element es pot comparar amb qualsevol altre element, és a dir, és o major, menor o igual. En canvi els subconjunts presenten un ordre parcial, en comparació amb els ordres totals dels exemples anteriors.",
          "La teoria degli ordini è una branca della matematica che studia dei particolari tipi di relazioni binarie, dette ordini e preordini, che inducono sui loro insiemi supporto una struttura che richiama l'idea intuitiva di ordinare gli elementi.",
          "Teorie uspořádání je matematická disciplína, která se zabývá studiem binárních relací zachycujících intuitivní pojem uspořádání.",
          "In de wiskunde houdt de ordetheorie zich bezig met de verschillende manieren om de elementen van een verzameling te sorteren, ze in een gekozen volgorde te kunnen plaatsen. Daartoe wordt de volgorde vastgelegd als een relatie tussen twee elementen die aangeeft welke van de elementen opvolger is van het andere. Kenmerkend voor een dergelijke orde is dat die transitief is. Er worden in de ordetheorie vormen van orde beschreven, waarin nog niet alle elementen volledig zijn gesorteerd. De vier meest voorkomende vormen van orde zijn de totale orde, de partiële orde, de totale preorde en de preorde. De elementen zijn in een totale orde volledig gesorteerd, maar in een preorde is er alleen nog maar een eerste ordening. De elementen van een te sorteren verzameling kunnen dus wel worden geordend, hun onderlinge volgorde kan worden bepaald. Die onderlinge volgorde wordt erdoor bepaald welk element een opvolger van welk element is. Dat kan door middel van een tweeplaatsige relatie. De elementen kunnen niet door hun plaats in de verzameling worden bepaald, anders was het geen verzameling maar een rij. Er moet bij het sorteren onder andere op worden gelet, dat er cirkels in de te sorteren verzameling ontstaan. De cyclische orde is ervoor gedefinieerd om te kunnen onderkennen dat dit in een verzameling het geval is en wordt daartoe als een ternaire relatie gedefinieerd.",
          "Teoria da ordem é um ramo da matemática que estuda vários tipos de relações binárias que capturam a noção intuitiva de .",
          "数学において順序集合（じゅんじょしゅうごう、英: ordered set）とは、大小関係や血縁関係のような順序が定義された集合のことである。順序は一般に二項関係として定義されるが、その順序集合の任意の2つの元に対して必ず定まるとは限らない。 比較不能の場合を許容する順序集合として典型的なのは後述する半順序集合（partially ordered set; poset）である。特に、半順序集合で全ての2元が比較可能であるものを全順序集合 (totally ordered set; toset) という。 全順序の最も簡単な例は、実数における大小関係である。 一方、全順序ではない半順序集合の例としては、正の整数全体の集合に整除関係で順序を入れたものや、（2つ以上元を含む）集合の冪集合において、包含関係を順序と見なしたものがある。例えば2元集合 S = {a, b} において {a} と {b} はいずれも他方を包含していないので S の冪集合は全順序ではない。",
          "Θεωρία διάταξης είναι ένας κλάδος των μαθηματικών που ερευνά τη διαισθητική έννοια της διάταξης στο . Παρέχει ένα επίσημο πλαίσιο για την περιγραφή των καταστάσεων, όπως \"αυτό είναι μικρότερο από αυτό\" ή \"αυτό προηγείται εκείνου\". Το άρθρο αυτό εισάγει το πεδίο και παρέχει τους βασικούς ορισμούς. Μια λίστα θεωρητικών διατάξεων μπορεί να βρεθεί στο .",
          "نظرية الترتيب هي فرع من الرياضيات يهتم بدراسة الأنواع المختلفة من العلاقات الثنائية التي تعطي انطباعا حسّياً عن فكرة ترتيبها موفرة بنية يمكن القول من خلالها متى يكون الشيء «أقل من» أو «يسبق» الآخر. تدرس نظرية الترتيب مختلف أنواع العلاقات الثنائية بين العناصر الرياضية المختلفة التي ترمز ترتيب هذه العناصر.",
          "序理论是研究捕获数学排序的直觉概念的各种二元关系的数学分支。",
          "La teoría del orden es una rama de la matemática que estudia varias clases de relaciones binarias que capturan la noción intuitiva del orden matemático. Este artículo provee una introducción detallada a este campo e incluye algunas de las definiciones básicas. Para una rápida búsqueda de un término orden teórico, hay también un . Una recoge los artículos que existen en relación con esta teoría del orden.",
          "Teori order (bahasa Inggris: order theory) atau teori tatanan dan teori urutan (= teori keteraturan) adalah suatu cabang matematika yang meneliti pandangan intuitif manusia terhadap tatanan atau keteraturan dengan menggunakan hubungan biner. Teori ini memberikan kerangka formal untuk mengungkapkan pernyataan-pernyataan seperti \"ini lebih kecil dari itu\" atau \"ini mendahului itu\". Dalam artikel ini diperkenalkan bidang ini dan memberikan definisi dasar. Daftar istilah teori-orde dapat ditemukan di .",
          "순서론(順序論, 영어: order theory)은 이항 관계들 중에서 '순서'의 개념을 확장한 것으로 볼 수 있는 것들을 다루는 수학의 분야이다." ] ,
        "http://dbpedia.org/ontology/thumbnail" : [ "http://commons.wikimedia.org/wiki/Special:FilePath/Lattice_of_the_divisibility_of_60.svg?width=300" ] ,
        "http://dbpedia.org/property/author" : [ "http://dbpedia.org/resource/H._S._M._Coxeter" ] ,
        "http://dbpedia.org/property/text" : [ "It was Pasch in 1882, who first pointed out that a geometry of order could be developed without reference to measurement. His system of axioms was gradually improved by Peano , Hilbert ,  and Veblen ." ] ,
        "http://dbpedia.org/property/title" : [ "Introduction to  Geometry" ] ,
        "http://dbpedia.org/ontology/wikiPageLength" : [ 31442 ] ,
        "http://dbpedia.org/property/wikiPageUsesTemplate" : [ "http://dbpedia.org/resource/Template:Sfn",
          "http://dbpedia.org/resource/Template:Cite_book",
          "http://dbpedia.org/resource/Template:Vague",
          "http://dbpedia.org/resource/Template:Authority_control",
          "http://dbpedia.org/resource/Template:More_footnotes",
          "http://dbpedia.org/resource/Template:Short_description",
          "http://dbpedia.org/resource/Template:Reflist",
          "http://dbpedia.org/resource/Template:Areas_of_mathematics",
          "http://dbpedia.org/resource/Template:Blockquote",
          "http://dbpedia.org/resource/Template:Outline",
          "http://dbpedia.org/resource/Template:Use_American_English",
          "http://dbpedia.org/resource/Template:Wiktionary"] } } }