About: Order theory

Property	Value
dbo:description	rama de la matemática (es) matematikai fogalom (hu) matematická disciplína (cs) ramură a matematicii care studiază relațiile de ordine (ro) розділ загальної алгебри, що вивчає структури із ставленням часткового порядку (uk) branch of mathematics studying ordering relations (en) cabang matematika (in) područje u matematici (hr) studfako de matematiko pri ordorilatoj (eo) rama das matemáticas que estuda as relacións de ordenación (gl) 순서 관계를 연구하는 수학의 분야 (ko) 数学において、順序が定義された集合 (ja) раздел общей алгебры, изучающий структуры с отношением частичного порядка (ru)
dbo:thumbnail	wiki-commons:Special:FilePath/Lattice_of_the_divisibility_of_60.svg?width=300
dbo:wikiPageExternalLink	https://archive.org/details/continuouslattic0000unse http://www.felixnagel.org https://archive.org/details/courseinuniversa00stan%7Ctitle=A http://www.apronus.com/provenmath/orders.htm
dbo:wikiPageWikiLink	dbr:Graph_drawing dbr:File:Lattice_of_the_divisibility_of_60.svg dbr:Finite_set dbr:Moritz_Pasch dbr:Garrett_Birkhoff dbr:Oswald_Veblen dbr:Category_theory dbr:Ellipse dbr:Complement_(set_theory) dbr:Genealogy dbr:Divisor dbr:Lattice_(order) dbr:Filter_(mathematics) dbr:Alphabetical_order dbr:Arithmetic dbr:Function_(mathematics) dbr:Integer dbr:Number dbr:Primary_school dbr:Real_number dbr:Set_theory dbr:Bertrand_Russell dbr:Ellipsis dbr:Set_(mathematics) dbr:Textbook dbr:Topology dbr:Alexandrov_topology dbr:Stone_duality dbr:Closed_set dbr:Closure_operator dbr:Interval_(mathematics) dbr:Antichain dbr:Euler_characteristic dbr:Heyting_algebra dbr:Complete_lattice dbr:Distributive_lattice dbr:Boolean_ring dbr:The_Principles_of_Mathematics dbr:Limit-preserving_function_(order_theory) dbr:Ernst_Schröder_(mathematician) dbr:Richard_Dedekind dbr:Greatest_common_divisor dbr:Least_common_multiple dbr:Hasse_diagram dbr:Function_space dbr:Preorder dbr:Mathematics dbr:Monotonic_function dbr:Open_set dbr:Galois_connection dbr:Domain_theory dbr:Equivalence_of_categories dbr:Free_lattice dbr:Free_object dbr:Reflexive_relation dbr:Limit_(category_theory) dbr:Disjoint_union dbr:Quantale dbr:Directed_acyclic_graph dbr:Vertex_(graph_theory) dbr:Boolean_algebra_(structure) dbr:Product_order dbr:Graph_theory dbr:Immanuel_Kant dbr:Cartesian_product dbr:Subset dbr:Order_isomorphism dbr:Converse_relation dbr:Rational_number dbr:Computer_science dbc:Order_theory dbr:David_Hilbert dbr:Subtraction dbr:Binary_relation dbr:Duality_(order_theory) dbr:Equivalence_relation dbr:Charles_Sanders_Peirce dbr:Functional_analysis dbr:Hierarchy dbr:Algebraic_structure dbr:Directed_complete_partial_order dbr:Bounded_poset dbr:Well-founded_relation dbr:George_Boole dbr:Cyclic_order dbr:Mathematical_logic dbr:Comparison_of_topologies dbr:Maximal_element dbr:Interval_order dbr:Pointless_topology dbr:Transitive_relation dbr:Partial_order dbr:Partially_ordered_set dbr:Strict_order dbr:Empty_set dbr:Universal_algebra dbr:Specialization_(pre)order dbr:Distributivity_(order_theory) dbr:Continuous_function_(topology) dbr:Union_(set_theory) dbr:Product_(category_theory) dbr:Directed_set dbr:Subbase dbr:Ordered_geometry dbr:Net_(mathematics) dbr:Physicians dbr:Natural_number dbr:Incidence_algebra dbr:Total_order dbr:Antisymmetric_relation dbr:Ideal_(order_theory) dbr:Completeness_(order_theory) dbr:Division_(mathematics) dbr:Circles dbr:Greatest_lower_bound dbr:Infimum dbr:Lawson_topology dbr:Representation_theorem dbr:Serial_relation dbr:Semiorder dbr:Upper_topology dbr:H._S._M._Coxeter dbr:Strict_weak_ordering dbr:Well_partial_order dbr:Order-embedding dbr:Greatest_element dbr:Upper_bound dbr:Supremum dbr:Lineal_descent dbr:Order_theory_glossary dbr:Pointwise_order dbr:Giuseppi_Peano dbr:Number_systems dbr:Numeral_systems dbr:Adjoint_functor dbr:Least_element dbr:Least_upper_bound dbr:Powerset dbr:Zorn's_Lemma dbr:Bijective dbr:Natural_numbers dbr:Specialization_order dbr:Empty_subset dbr:Idempotent dbr:Causal_Sets dbr:Pediatricians dbr:Scott-continuous dbr:Scott_topology dbr:T0_space dbr:Minimal_element dbr:Poset dbr:Surjective
dbp:author	dbr:Harold_Scott_MacDonald_Coxeter
dbp: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 . (en)
dbp:title	Introduction to Geometry (en)
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:Areas_of_mathematics dbt:Cite_book dbt:Reflist dbt:Sfn dbt:Wiktionary dbt:Use_American_English dbt:Vague dbt:More_footnotes dbt:Outline dbt:Short_description dbt:Blockquote dbt:Order_theory
dct:subject	dbc:Order_theory dbc:Organization
gold:hypernym	dbr:Branch
rdfs:label	Order theory (en) نظرية الترتيب (ar) Teoria de l'ordre (ca) Teorie uspořádání (cs) Θεωρία διάταξης (el) Teoría del orden (es) Teori order (in) Teoria degli ordini (it) 順序集合 (ja) 순서론 (ko) Ordetheorie (nl) Теория порядков (ru) Teoria da ordem (pt) Теорія порядку (uk) 序理论 (zh)
owl:sameAs	http://d-nb.info/gnd/4172733-2 freebase:Order theory yago-res:Order theory wikidata:Order theory dbpedia-it:Order theory dbpedia-nl:Order theory dbpedia-tr:Order theory dbpedia-zh:Order theory dbpedia-ja:Order theory dbpedia-pt:Order theory dbpedia-da:Order theory dbpedia-es:Order theory dbpedia-fa:Order theory dbpedia-ru:Order theory dbpedia-ko:Order theory dbpedia-id:Order theory dbpedia-el:Order theory dbpedia-ca:Order theory dbpedia-ar:Order theory dbpedia-bg:Order theory dbpedia-cs:Order theory dbpedia-hr:Order theory dbpedia-ms:Order theory dbpedia-simple:Order theory dbpedia-sk:Order theory dbpedia-sl:Order theory dbpedia-uk:Order theory dbpedia-global:Order theory
prov:wasDerivedFrom	wikipedia-en:Order_theory?oldid=1285568678&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Lattice_of_the_divisibility_of_60.svg
foaf:isPrimaryTopicOf	wikipedia-en:Order_theory
is dbo:academicDiscipline of	dbr:Order_(journal)
is dbo:knownFor of	dbr:Ismat_Beg
is dbo:wikiPageDisambiguates of	dbr:Order
is dbo:wikiPageRedirects of	dbr:Order-reflecting dbr:Order-theoretic dbr:Order_relation dbr:Order_structure
is dbo:wikiPageWikiLink of	dbr:Greedoid dbr:Causal_sets dbr:Currying dbr:List_of_general_topology_topics dbr:Wilhelmus_Luxemburg dbr:Prefix_order dbr:Nucleus_(order_theory) dbr:Fixed_point_(mathematics) dbr:Floor_and_ceiling_functions dbr:Infimum_and_supremum dbr:Ultrafilter dbr:Field_of_sets dbr:Lattice_(order) dbr:Pseudocomplement dbr:Consequentialism dbr:Galois_group dbr:Formal_concept_analysis dbr:Filter_(mathematics) dbr:Non-measurable_set dbr:Cartesian_closed_category dbr:Ring_of_sets dbr:Well-quasi-ordering dbr:Band_(order_theory) dbr:Set_theory_(music) dbr:Number_line dbr:Pareto_efficiency dbr:Discrete_mathematics dbr:Two-element_Boolean_algebra dbr:Hans_Hahn_(mathematician) dbr:Antichain dbr:Knaster–Tarski_theorem dbr:Algebraic_logic dbr:Finitary_relation dbr:Boolean_prime_ideal_theorem dbr:Szpilrajn_extension_theorem dbr:Surreal_number dbr:Convex_preferences dbr:Cofinality dbr:Complete_lattice dbr:Distributive_lattice dbr:Countable_chain_condition dbr:Covering_relation dbr:Deviation_of_a_poset dbr:Linear_extension dbr:OBJ_(programming_language) dbr:October_1912 dbr:The_Principles_of_Mathematics dbr:Limit-preserving_function_(order_theory) dbr:Automorphism dbr:Hasse_diagram dbr:Preorder dbr:Mathematics,_Form_and_Function dbr:Duality_(mathematics) dbr:Monotonic_function dbr:Circle_of_fifths dbr:Weak_ordering dbr:Galois_connection dbr:Domain_theory dbr:Fitting's_theorem dbr:Fixed-point_property dbr:Free_lattice dbr:Better-quasi-ordering dbr:Aristotelian_realist_philosophy_of_mathematics dbr:Ivan_Rival dbr:Viable_system_model dbr:Order_topology_(functional_analysis) dbr:Mathematics_Subject_Classification dbr:Greatest_element_and_least_element dbr:Convex_conjugate dbr:Order_(mathematics) dbr:DLO dbr:Linear_continuum dbr:Hierarchy_(mathematics) dbr:Glossary_of_order_theory dbr:Schema_(genetic_algorithms) dbr:Isomorphism dbr:Ranking dbr:Order_isomorphism dbr:Magnitude_(mathematics) dbr:Least-upper-bound_property dbr:Logical_hexagon dbr:Least_fixed_point dbr:Cofinal_(mathematics) dbr:Lexicographic_product_of_graphs dbr:C_(programming_language) dbr:Complemented_lattice dbr:List_of_mathematical_theories dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Atom_(order_theory) dbr:Multiplication dbr:Binary_relation dbr:Duality_(order_theory) dbr:Distributive_property dbr:Augustus_De_Morgan dbr:Power_set dbr:Kleene_fixed-point_theorem dbr:Outline_of_mathematics dbr:List_of_agnostics dbr:Infinite_divisibility dbr:Ideal_(ring_theory) dbr:Principal_ideal dbr:Well-founded_relation dbr:Sequence dbr:Cyclic_order dbr:Marginalism dbr:Fréchet_filter dbr:Maximal_and_minimal_elements dbr:New_riddle_of_induction dbr:Glossary_of_areas_of_mathematics dbr:Kleene's_recursion_theorem dbr:Interval_order dbr:Pointwise dbr:Tree_(descriptive_set_theory) dbr:Bisimulation dbr:Partially_ordered_set dbr:Outline_of_academic_disciplines dbr:0.999... dbr:Mathematical_structure dbr:Universal_algebra dbr:Intersection_graph dbr:List_of_lemmas dbr:Chain_(algebraic_topology) dbr:Bounded_complete_poset dbr:Bourbaki–Witt_theorem dbr:Apply dbr:Specialization_(pre)order dbr:Disjunction_property_of_Wallman dbr:Distributivity_(order_theory) dbr:List_of_order_theory_topics dbr:Robert_B._Lisek dbr:Scattered_order dbr:Continuous_function dbr:Bounded_set dbr:String_(computer_science) dbr:Dilworth's_theorem dbr:Connected_relation dbr:Order_embedding dbr:Glossary_of_computer_science dbr:Koecher–Vinberg_theorem dbr:Mirsky's_theorem dbr:Multitree dbr:Uniform-machines_scheduling dbr:Opposite_category dbr:Sperner_property_of_a_partially_ordered_set dbr:Upper_and_lower_bounds dbr:Filter_(set_theory) dbr:Critical_pair_(order_theory) dbr:Dedekind–MacNeille_completion dbr:Scott_domain dbr:List_(abstract_data_type) dbr:Order dbr:Size dbr:Incidence_algebra dbr:Indicator_function dbr:List_of_theorems dbr:Embedding dbr:Graph_labeling dbr:Modular_lattice dbr:Semilattice dbr:Ideal_(order_theory) dbr:List_of_order_structures_in_mathematics dbr:Algebraic_semantics_(mathematical_logic) dbr:Compact_element dbr:Complete_Heyting_algebra dbr:Completely_distributive_lattice dbr:Completeness_(order_theory) dbr:Join_and_meet dbr:Map_of_lattices dbr:Semimodular_lattice dbr:Morse–Kelley_set_theory dbr:Chain-complete_partial_order dbr:1/3–2/3_conjecture dbr:List_of_types_of_functions dbr:Atomic_lattice dbr:Inclusion_order dbr:Borel_subgroup dbr:Sieve_(category_theory) dbr:Cantor–Bernstein_theorem dbr:Ordered_set_operators dbr:Topological_geometry dbr:Order_(journal) dbr:Michael_Saks_(mathematician) dbr:List_of_academic_fields dbr:Homogeneous_relation dbr:Serial_relation dbr:Weak_order_unit dbr:Cantor's_isomorphism_theorem dbr:Semiorder dbr:Series-parallel_partial_order dbr:Outline_of_algebraic_structures dbr:Outline_of_combinatorics dbr:Banach_lattice dbr:Lattice_disjoint dbr:Laver's_theorem dbr:Locally_convex_vector_lattice dbr:Normal_cone_(functional_analysis) dbr:Normed_vector_lattice dbr:Order_bound_dual dbr:Order_complete dbr:Order_convergence dbr:Order_dual_(functional_analysis) dbr:Order_summable dbr:Ordered_topological_vector_space dbr:Quasi-interior_point dbr:Regularly_ordered dbr:Solid_set dbr:Topological_vector_lattice dbr:Relation_(mathematics) dbr:Anne_C._Morel dbr:Ed_Scheinerman dbr:Henry_Forder dbr:Betweenness dbr:Filters_in_topology dbr:Organizing_(management) dbr:Ismat_Beg dbr:Metric_lattice dbr:Continuous_poset dbr:Lexicographic_product dbr:Strong_antichain dbr:Abstract_L-space dbr:Abstract_m-space dbr:Archimedean_ordered_vector_space dbr:Cone-saturated dbr:Dushnik–Miller_theorem dbr:Fréchet_lattice dbr:Introduction_to_Lattices_and_Order dbr:Order-reflecting dbr:Order-theoretic dbr:Order_relation dbr:Order_structure dbr:Outline_of_formal_science
is dbp:discipline of	dbr:Order_(journal)
is foaf:primaryTopic of	wikipedia-en:Order_theory