About: Order theory

Property	Value
dbo:wikiPageID	721806 (xsd:integer)
dbo:wikiPageRevisionID	952551364 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons_cat dbt:CatAutoTOC dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Order theory (en)
skos:broader	dbc:Ordering dbc:Fields_of_mathematics dbc:Comparison_(mathematical)
skos:prefLabel	Order theory (en)
prov:wasDerivedFrom	wikipedia-en:Category:Order_theory?oldid=952551364&ns=14
is dbo:wikiPageWikiLink of	dbr:Amoeba_order dbr:Bekić's_theorem dbr:Preorder dbr:Prewellordering dbr:Product_order dbr:Encompassment_ordering dbr:Mirsky's_theorem dbr:Monomial_order dbr:Monotonic_function dbr:Path_ordering_(term_rewriting) dbr:Scott_domain dbr:Projection_(order_theory) dbr:Boolean_differential_calculus dbr:Antichain dbr:Archimedean_ordered_vector_space dbr:Better-quasi-ordering dbr:Betweenness dbr:Rewrite_order dbr:Ultrafilter_(set_theory) dbr:Upper_and_lower_bounds dbr:Dedekind_cut dbr:Dedekind–MacNeille_completion dbr:Dehornoy_order dbr:Deviation_of_a_poset dbr:Dushnik–Miller_theorem dbr:Incidence_algebra dbr:Incidence_poset dbr:Inclusion_order dbr:Infimum_and_supremum dbr:Infinite_descending_chain dbr:Infinite_divisibility dbr:Interval_order dbr:Introduction_to_Lattices_and_Order dbr:Inversion_(discrete_mathematics) dbr:Limit-preserving_function_(order_theory) dbr:List_of_order_structures_in_mathematics dbr:List_of_order_theory_topics dbr:Order_isomorphism dbr:Scattered_order dbr:Peck_poset dbr:Poset_topology dbr:Pseudo-order dbr:Ranked_poset dbr:1/3–2/3_conjecture dbr:Maximal_and_minimal_elements dbr:Nucleus_(order_theory) dbr:Order_(journal) dbr:Order_theory dbr:Order_topology dbr:Residuated_mapping dbr:Quantale dbr:Closure_operator dbr:Alexandrov_topology dbr:Galois_connection dbr:Bound_graph dbr:Bounded_complete_poset dbr:Bounded_set dbr:Bourbaki–Witt_theorem dbr:Möbius_inversion_formula dbr:Continuous_poset dbr:Critical_pair_(order_theory) dbr:Erdős–Dushnik–Miller_theorem dbr:Order_embedding dbr:Order_convergence dbr:Order_polytope dbr:Ordered_geometry dbr:Ordered_topological_vector_space dbr:Ordinal_sum dbr:Aronszajn_line dbr:Lexicographic_order dbr:Compact_element dbr:Comparability dbr:Comparability_graph dbr:Complete_Boolean_algebra dbr:Complete_Heyting_algebra dbr:Complete_partial_order dbr:Completely_distributive_lattice dbr:Completeness_(order_theory) dbr:Dense_order dbr:Embedding dbr:Friedman's_SSCG_function dbr:Frink_ideal dbr:Fréchet_filter dbr:Kernel_operator dbr:Kruskal's_tree_theorem dbr:Ordered_pair dbr:Majorization dbr:Specialization_(pre)order dbr:Sperner_property_of_a_partially_ordered_set dbr:Banach_lattice dbr:Topkis's_theorem dbr:Total_order dbr:Weak_ordering dbr:Well-order dbr:Well-quasi-ordering dbr:Disjunction_property_of_Wallman dbr:Distributive_polytope dbr:Distributivity_(order_theory) dbr:Duality_(order_theory) dbr:Hasse_diagram dbr:Hausdorff_gap dbr:Hausdorff_maximal_principle dbr:Join_and_meet dbr:Laver's_theorem dbr:Law_of_trichotomy dbr:Least_fixed_point dbr:Linear_continuum dbr:Linear_extension dbr:Linked_set dbr:Locally_finite_poset dbr:Shortlex_order dbr:Stone_duality dbr:Cyclic_order dbr:Fence_(mathematics) dbr:Filter_(mathematics) dbr:Filter_(set_theory) dbr:Partially_ordered_group dbr:Partially_ordered_set dbr:Pasch's_theorem dbr:Causal_sets dbr:Centered_set dbr:Dilworth's_theorem dbr:Directed_set dbr:Glossary_of_order_theory dbr:Graded_poset dbr:Scott_continuity dbr:Order_dimension dbr:Szpilrajn_extension_theorem dbr:Ultrafilter dbr:Prefix_order dbr:Prime_(order_theory) dbr:Serial_relation dbr:Higman's_lemma dbr:Atom_(order_theory) dbr:Interval_(mathematics) dbr:Countable_chain_condition dbr:Countryman_line dbr:Covering_relation dbr:Least-upper-bound_property dbr:Suslin's_problem dbr:Cofinal_(mathematics) dbr:Cofinality dbr:Zorn's_lemma dbr:Upper_set dbr:Ascending_chain_condition dbr:Boolean_prime_ideal_theorem dbr:Positive_linear_operator dbr:Greatest_element_and_least_element dbr:Greedoid dbr:Ideal_(order_theory) dbr:Bruhat_order dbr:Order_polynomial dbr:Order_topology_(functional_analysis) dbr:Cantor's_isomorphism_theorem dbr:Cantor–Bernstein_theorem dbr:Chain-complete_partial_order dbr:Semiorder dbr:Series-parallel_partial_order dbr:Kleene_fixed-point_theorem dbr:Kleene–Brouwer_order dbr:Knaster's_condition dbr:Knaster–Tarski_theorem dbr:Schur–Horn_theorem dbr:Facet_theory dbr:Lubell–Yamamoto–Meshalkin_inequality dbr:Partial_cyclic_order dbr:Pointwise_order dbr:Pantachy dbr:Schnyder's_theorem dbr:Multitree dbr:Upper_topology dbr:Preordered_class dbr:Solid_set dbr:Pseudoideal dbr:Teichmüller–Tukey_lemma dbr:Η_set dbr:Separation_relation dbr:Strong_antichain dbr:Supermodular_function
is dct:subject of	dbr:Amoeba_order dbr:Bekić's_theorem dbr:Preorder dbr:Prewellordering dbr:Product_order dbr:Encompassment_ordering dbr:Mirsky's_theorem dbr:Monomial_order dbr:Monotonic_function dbr:Path_ordering_(term_rewriting) dbr:Scott_domain dbr:Projection_(order_theory) dbr:Boolean_differential_calculus dbr:Antichain dbr:Archimedean_ordered_vector_space dbr:Better-quasi-ordering dbr:Betweenness dbr:Rewrite_order dbr:Ultrafilter_(set_theory) dbr:Upper_and_lower_bounds dbr:Dedekind_cut dbr:Dedekind–MacNeille_completion dbr:Dehornoy_order dbr:Deviation_of_a_poset dbr:Dushnik–Miller_theorem dbr:Incidence_algebra dbr:Incidence_poset dbr:Inclusion_order dbr:Infimum_and_supremum dbr:Infinite_descending_chain dbr:Infinite_divisibility dbr:Interval_order dbr:Introduction_to_Lattices_and_Order dbr:Inversion_(discrete_mathematics) dbr:Limit-preserving_function_(order_theory) dbr:List_of_order_structures_in_mathematics dbr:List_of_order_theory_topics dbr:Order_isomorphism dbr:Scattered_order dbr:Peck_poset dbr:Poset_topology dbr:Pseudo-order dbr:Ranked_poset dbr:1/3–2/3_conjecture dbr:Maximal_and_minimal_elements dbr:Nucleus_(order_theory) dbr:Order_(journal) dbr:Order_theory dbr:Order_topology dbr:Residuated_mapping dbr:Quantale dbr:Closure_operator dbr:Alexandrov_topology dbr:Galois_connection dbr:Bound_graph dbr:Bounded_complete_poset dbr:Bounded_set dbr:Bourbaki–Witt_theorem dbr:Möbius_inversion_formula dbr:Continuous_poset dbr:Critical_pair_(order_theory) dbr:Erdős–Dushnik–Miller_theorem dbr:Order_embedding dbr:Order_convergence dbr:Order_polytope dbr:Ordered_geometry dbr:Ordered_topological_vector_space dbr:Ordinal_sum dbr:Aronszajn_line dbr:Lexicographic_order dbr:Compact_element dbr:Comparability dbr:Comparability_graph dbr:Complete_Boolean_algebra dbr:Complete_Heyting_algebra dbr:Complete_partial_order dbr:Completely_distributive_lattice dbr:Completeness_(order_theory) dbr:Dense_order dbr:Embedding dbr:Friedman's_SSCG_function dbr:Frink_ideal dbr:Fréchet_filter dbr:Kernel_operator dbr:Kruskal's_tree_theorem dbr:Ordered_pair dbr:Majorization dbr:Specialization_(pre)order dbr:Sperner_property_of_a_partially_ordered_set dbr:Banach_lattice dbr:Topkis's_theorem dbr:Total_order dbr:Weak_ordering dbr:Well-order dbr:Well-quasi-ordering dbr:Disjunction_property_of_Wallman dbr:Distributive_polytope dbr:Distributivity_(order_theory) dbr:Duality_(order_theory) dbr:Hasse_diagram dbr:Hausdorff_gap dbr:Hausdorff_maximal_principle dbr:Join_and_meet dbr:Laver's_theorem dbr:Law_of_trichotomy dbr:Least_fixed_point dbr:Linear_continuum dbr:Linear_extension dbr:Linked_set dbr:Locally_finite_poset dbr:Shortlex_order dbr:Stone_duality dbr:Cyclic_order dbr:Fence_(mathematics) dbr:Filter_(mathematics) dbr:Filter_(set_theory) dbr:Partially_ordered_group dbr:Partially_ordered_set dbr:Pasch's_theorem dbr:Causal_sets dbr:Centered_set dbr:Dilworth's_theorem dbr:Directed_set dbr:Glossary_of_order_theory dbr:Graded_poset dbr:Scott_continuity dbr:Order_dimension dbr:Szpilrajn_extension_theorem dbr:Ultrafilter dbr:Prefix_order dbr:Prime_(order_theory) dbr:Serial_relation dbr:Higman's_lemma dbr:Atom_(order_theory) dbr:Interval_(mathematics) dbr:Countable_chain_condition dbr:Countryman_line dbr:Covering_relation dbr:Least-upper-bound_property dbr:Suslin's_problem dbr:Cofinal_(mathematics) dbr:Cofinality dbr:Zorn's_lemma dbr:Upper_set dbr:Ascending_chain_condition dbr:Boolean_prime_ideal_theorem dbr:Positive_linear_operator dbr:Greatest_element_and_least_element dbr:Greedoid dbr:Ideal_(order_theory) dbr:Bruhat_order dbr:Order_polynomial dbr:Order_topology_(functional_analysis) dbr:Cantor's_isomorphism_theorem dbr:Cantor–Bernstein_theorem dbr:Chain-complete_partial_order dbr:Semiorder dbr:Series-parallel_partial_order dbr:Kleene_fixed-point_theorem dbr:Kleene–Brouwer_order dbr:Knaster's_condition dbr:Knaster–Tarski_theorem dbr:Schur–Horn_theorem dbr:Facet_theory dbr:Lubell–Yamamoto–Meshalkin_inequality dbr:Partial_cyclic_order dbr:Pointwise_order dbr:Pantachy dbr:Schnyder's_theorem dbr:Multitree dbr:Upper_topology dbr:Preordered_class dbr:Solid_set dbr:Pseudoideal dbr:Teichmüller–Tukey_lemma dbr:Η_set dbr:Separation_relation dbr:Strong_antichain dbr:Supermodular_function
is skos:broader of	dbc:Ordered_groups dbc:Lattice_theory dbc:Sorting_algorithms dbc:Domain_theory dbc:Optimization_of_ordered_sets dbc:Ordinal_numbers dbc:Closure_operators dbc:Ordered_algebraic_structures dbc:Wellfoundedness