About: Preorder

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

Reflexive and transitive binary relation

Property	Value
dbo:description	binární relace, která je reflexivní a tranzitivní (cs) abgeschwächte Variante einer Halbordnung (de) hubungan refleksif dan transitif (ms) refleksiivne ja transitiivne binaarseos (et) reflexive and transitive binary relation (en) relación binaria reflexiva e transitiva (gl) relacja zwrotna i przechodnia (pl) relation réflexive et transitive (fr) tipo di relazione binaria (it) yansımalı ve geçişli ikili ilişki (tr) علاقة ثنائية انعكاسية ومتعدية (ar) 추이적 반사 관계 (ko)
dbo:thumbnail	wiki-commons:Special:FilePath/Preorder.png?width=300
dbo:wikiPageWikiLink	dbr:Polynomial-time_reduction dbr:Category_theory dbr:Morphism dbr:Subtyping dbr:Complement_(set_theory) dbr:Cycle_(graph_theory) dbr:Skeleton_(category_theory) dbr:Well-quasi-ordering dbr:Consistency dbr:Set_theory dbr:Set_(mathematics) dbr:Topology dbr:Alexandrov_topology dbr:Interval_(mathematics) dbr:Propositional_calculus dbr:Reachability dbr:Abstract_rewriting_system dbr:Independence_(mathematical_logic) dbr:Many-one_reduction dbr:Big_O_notation dbr:Modus_ponens dbr:Path_(graph_theory) dbr:Sentence_(mathematical_logic) dbr:Enriched_category dbr:Mathematics dbr:Directed_graph dbr:Logical_conjunction dbr:Zermelo–Fraenkel_set_theory dbr:Kripke_semantics dbr:Modal_logic dbr:Substitution_(logic) dbr:Transitive_closure dbr:Equivalence_class dbr:Irreflexive_relation dbr:Reflexive_relation dbr:Symmetric_relation dbr:Term_(logic) dbr:Lindenbaum–Tarski_algebra dbr:Directed_acyclic_graph dbr:Ring_homomorphism dbr:Category_of_preordered_sets dbr:Prewellordering dbr:Graph_theory dbr:Forcing_(mathematics) dbr:Converse_relation dbc:Order_theory dbr:Binary_relation dbc:Binary_relations dbr:Equivalence_relation dbr:Heterogeneous_relation dbr:Simulation_preorder dbr:Category_(mathematics) dbr:Permutation dbr:Preference dbr:Transitive_relation dbr:Partial_order dbr:Partially_ordered_set dbr:Asymptotic_analysis dbr:Turing_reduction dbr:Specialization_(pre)order dbr:Injective_function dbr:Directed_set dbr:Connected_relation dbr:Net_(mathematics) dbr:Total_order dbr:Antisymmetric_relation dbr:Asymmetric_relation dbr:Embedding dbr:Finite_topological_space dbr:Preordered_class dbr:Order_theory dbr:Homogeneous_relation dbr:Interior_algebra dbr:Theory_(mathematical_logic) dbr:First-order_theory dbr:Strict_weak_ordering dbr:Upper_bound dbr:One-to-one_correspondence dbr:Strict_partial_order dbr:Strict_weak_order dbr:Graph-minor dbr:Thin_category dbr:Neighborhood_(mathematics) dbr:Reduction_relation dbr:Encompassment_preorder dbr:Class_(mathematics) dbr:Logically_equivalent dbr:Integer_division dbr:Relation_composition dbr:Object_(category_theory) dbr:Substitution_instance dbr:Surjection dbr:Total_preorder dbr:File:Prewellordering_example_svg.svg
dbp:wikiPageUsesTemplate	dbt:Redirect dbt:Anchor dbt:Stack dbt:Number_of_relations dbt:Citation dbt:Binary_relations dbt:About dbt:Em dbt:Isbn dbt:Unordered_list dbt:Short_description dbt:Order_theory
dct:subject	dbc:Order_theory dbc:Properties_of_binary_relations
rdfs:label	Preorder (en) Kvaziuspořádání (cs) Quasiordnung (de) Conjunto preordenado (es) Preordine (it) Préordre (fr) 원순서 집합 (ko) Praporządek (pl) Preorde (nl) Pré-ordem (pt) Предпорядок (ru) Передпорядок (uk) 预序关系 (zh)
owl:sameAs	freebase:Preorder yago-res:Preorder wikidata:Preorder dbpedia-it:Preorder dbpedia-nl:Preorder dbpedia-de:Preorder dbpedia-fr:Preorder dbpedia-zh:Preorder dbpedia-pt:Preorder dbpedia-he:Preorder dbpedia-da:Preorder dbpedia-es:Preorder dbpedia-ru:Preorder dbpedia-pl:Preorder dbpedia-ko:Preorder dbpedia-et:Preorder dbpedia-cs:Preorder dbpedia-sk:Preorder dbpedia-uk:Preorder dbpedia-global:Preorder
prov:wasDerivedFrom	wikipedia-en:Preorder?oldid=1286964636&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Preorder.png
foaf:isPrimaryTopicOf	wikipedia-en:Preorder
is dbo:wikiPageDisambiguates of	dbr:Preorder_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Strict_preorder dbr:Precongruence dbr:Preorder_(mathematics) dbr:Preordered_set dbr:Quasi-order dbr:Quasi-ordering dbr:Quasi_order dbr:Quasiorder
is dbo:wikiPageWikiLink of	dbr:Direct_product dbr:Icon_for_Hire_(album) dbr:Stack-sortable_permutation dbr:Bulletproof_Picasso dbr:Graph_property dbr:Monoidal_category dbr:Subtyping dbr:Field_of_sets dbr:Constant_function dbr:Filter_(mathematics) dbr:Topological_indistinguishability dbr:Skeleton_(category_theory) dbr:Alexandrov_topology dbr:Closure_(mathematics) dbr:Convex_cone dbr:Szpilrajn_extension_theorem dbr:Reachability dbr:Topos dbr:Abstract_rewriting_system dbr:Sierpiński_space dbr:Many-one_reduction dbr:Maximal_semilattice_quotient dbr:Timeline_of_category_theory_and_related_mathematics dbr:Absolute_continuity dbr:Cover_(topology) dbr:Greatest_common_divisor dbr:Word_problem_(mathematics) dbr:Enriched_category dbr:Directed_graph dbr:Monotonic_function dbr:Kripke_semantics dbr:Modal_logic dbr:Subsequence dbr:Version_vector dbr:Weak_ordering dbr:Transitive_closure dbr:Normal_modal_logic dbr:Relation_algebra dbr:SPQR_tree dbr:Hierarchy_(mathematics) dbr:Category_algebra dbr:Category_of_preordered_sets dbr:Glossary_of_order_theory dbr:Prewellordering dbr:Product_order dbr:Bipolar_orientation dbr:Birkhoff's_representation_theorem dbr:Seventh_generation_of_video_game_consoles dbr:Hypergraph dbr:Forcing_(mathematics) dbr:Encompassment_ordering dbr:Numbering_(computability_theory) dbr:Binary_relation dbr:Equivalence_relation dbr:Xbox_(console) dbr:Monoid dbr:Robertson–Seymour_theorem dbr:Well-founded_relation dbr:Category_(mathematics) dbr:Reduction_(complexity) dbr:Semi-Thue_system dbr:Mereotopology dbr:Transitive_relation dbr:Partially_ordered_set dbr:Smith_set dbr:Majorization dbr:Turing_reduction dbr:Specialization_(pre)order dbr:Directed_algebraic_topology dbr:Dominance-based_rough_set_approach dbr:List_of_order_theory_topics dbr:Schröder–Bernstein_property dbr:PA_degree dbr:Directed_set dbr:Ordered_vector_space dbr:Riesz_space dbr:Cardinal_assignment dbr:Knowledge_space dbr:Mitchell_order dbr:Wadge_hierarchy dbr:Upper_and_lower_bounds dbr:Filter_(set_theory) dbr:Locally_convex_topological_vector_space dbr:Polynomial_ring dbr:Net_(mathematics) dbr:Valuation_(algebra) dbr:Glossary_of_mathematical_symbols dbr:Graph_homomorphism dbr:List_of_order_structures_in_mathematics dbr:Finite_topological_space dbr:Preorder_(disambiguation) dbr:Preordered_class dbr:Skew_lattice dbr:Simulation_(computer_science) dbr:Green's_relations dbr:Preset dbr:Eat_Me_Raw dbr:Order_theory dbr:Convergence_(logic) dbr:Reduction_(computability_theory) dbr:Sigma-ideal dbr:Homogeneous_relation dbr:Outline_of_logic dbr:Vertex_separator dbr:Modal_companion dbr:Relation_(mathematics) dbr:Interior_algebra dbr:Well-structured_transition_system dbr:Complete_topological_vector_space dbr:Filters_in_topology dbr:DragonBox_Pyra dbr:Intersection_type_discipline dbr:Convergence_space dbr:Continuous_poset dbr:Escape_from_Tarkov dbr:List_of_Greek_and_Latin_roots_in_English/O dbr:FarmBot dbr:Skully_(helmet) dbr:Schwartz_set dbr:Strict_preorder dbr:Ultrafilter_(set_theory) dbr:Precongruence dbr:Preorder_(mathematics) dbr:Preordered_set dbr:Quasi-order dbr:Quasi-ordering dbr:Quasi_order dbr:Quasiorder
is gold:hypernym of	dbr:Specialization_(pre)order dbr:Mitchell_order
is rdfs:seeAlso of	dbr:List_of_topologies dbr:Directed_set
is foaf:primaryTopic of	wikipedia-en:Preorder