{ "d" : {
"results": [
{ "__metadata": { "uri": "http://dbpedia.org/resource/Total_order" },
"http://www.w3.org/2000/01/rdf-schema#comment": "In matematica, un ordine semplice/ordine totale o ordine lineare (o relazione d'ordine totale o lineare) è una relazione binaria su un insieme X che è riflessiva, antisimmetrica, transitiva (quindi una relazione d'ordine) e totale. Questo significa che, se denotiamo una tale relazione con ≤, valgono i seguenti enunciati per tutti gli a, b e c elementi di X: a ≤ a (riflessività)se a ≤ b e b ≤ a, allora a = b (antisimmetria)se a ≤ b e b ≤ c allora a ≤ c (transitività)a ≤ b oppure b ≤ a (totalità) . A tale reticolo si associa la relazione definita ponendo per due suoi generici elementi a e b:",
"http://dbpedia.org/property/title": "Totally ordered set",
"http://www.w3.org/2000/01/rdf-schema#label": "Totala ordo",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Compact_space" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Affinely_extended_real_number_system" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Linear_subspace" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "Лінійно впорядкована множина (ланцюг) — частково впорядкована множина (множина на якій задане відношення нестрогого порядку), в якій для будь-яких двох елементів і виконується чи Тобто, для вимога рефлексивності посилена до вимоги повноти. Частковий випадок лінійно впорядкованої множини — цілком впорядкована множина. Іншими словами: лінійний порядок = частковий порядок з умовою повноти. Лінійний порядок використовується в
* теорії ґраток,
* теорії порядку,
* теорії категорій.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Index_set" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Asymmetric_relation" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Upper_bound" } },
"http://purl.org/linguistics/gold/hypernym": { "__deferred": { "uri": "http://dbpedia.org/resource/Relation" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Reflexive_relation" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Decidability_(logic)" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Bijection" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Walk_(graph_theory)" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Reflist" } },
"http://dbpedia.org/ontology/wikiPageRevisionID": "1124178424",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Maximal_ideal" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Ascending_chain_condition" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "In de wiskunde is een totale orde of lineaire orde een ordeningsrelatie op een verzameling die het meest lijkt op de ordening zoals die bekend is van de getallenlijn. Totale orde is een begrip uit de ordetheorie. Een verzameling met daarop een totale orde heet een totaal geordende, of lineair geordende verzameling. Een dergelijke verzameling kan, zoals de term lineair al doet vermoeden, voorgesteld worden als een rechte lijn of een deelverzameling daarvan, met aan de ene kant van een element de opvolgers ervan en aan de andere kant zijn voorgangers. Een totaal geordende verzameling wordt met betrekking tot de ordening wel aangeduid als keten.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Descending_chain_condition" } },
"http://www.w3.org/1999/02/22-rdf-syntax-ns#type": { "__deferred": { "uri": "http://dbpedia.org/ontology/Agent" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "في نظرية المجموعات، الترتيب الكلي، وقد يسمى الترتيب الخطي أوالترتيب البسيط أوالترتيب (غير القطعي), هو علاقة ثنائية, (يرمز إليها هنا ب ≤) معرفة على مجموعة X ما،.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Zorn's_lemma" } },
"http://dbpedia.org/ontology/abstract": "Лінійно впорядкована множина (ланцюг) — частково впорядкована множина (множина на якій задане відношення нестрогого порядку), в якій для будь-яких двох елементів і виконується чи Тобто, для вимога рефлексивності посилена до вимоги повноти. Частковий випадок лінійно впорядкованої множини — цілком впорядкована множина. Іншими словами: лінійний порядок = частковий порядок з умовою повноти. Лінійний порядок використовується в
* теорії ґраток,
* теорії порядку,
* теорії категорій.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Strict_weak_ordering" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Mathematics" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "Porządek liniowy – częściowy porządek będący zarazem łańcuchem, czyli taki, w którym każde dwa elementy rozpatrywanego zbioru są porównywalne.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Commutative_ring" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://hr.dbpedia.org/resource/Totalno_uređen_skup" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://de.dbpedia.org/resource/Totalordnung" } },
"http://dbpedia.org/ontology/abstract": "全序关系，也称为线性顺序（英語：Total order, linear order）即集合上的反对称的、传递的和的二元关系（一般称其为）。 若满足全序关系，则下列陈述对于中的所有和成立：
* 反对称性：若且则
* 传递性：若且则
* 完全性：或 满足全序关系的集合叫做全序集合、线性序集合、简单序集合或链。链还常用来描述偏序集合的全序子集。 全序关系的完全性可以如下这样描述：集合中的任何一对元素都是可相互比较的。 注意完全性条件蕴涵了自反性：，因此全序关系也是（满足“完全性”条件的）偏序关系。",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Dense_set" } },
"http://www.w3.org/2000/01/rdf-schema#label": "Лінійно впорядкована множина",
"http://dbpedia.org/ontology/abstract": "En matematiko, totala ordo, tuteca ordo, linia ordo aŭ simpla ordo sur aro X estas ordorilato, kiu kapablas ordigi ajnan paron da elementoj, tiel ke inter ajnaj du elementoj, unu estas pli granda ol la alia.",
"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/Interval_(mathematics)" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "순서론에서 전순서 집합(全順序集合, 영어: totally ordered set, toset)는 임의의 두 원소를 비교할 수 있는 부분 순서 집합이다. 실수에서는 순서를 줄 수 있지만 허수와 복소수에서는 순서를 줄 수 없다.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Totally_ordered_group" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Antisymmetric_relation" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Subcategory" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Partial_order" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Isbn" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:About" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Linear_extension" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://uk.dbpedia.org/resource/Лінійно_впорядкована_множина" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://ko.dbpedia.org/resource/전순서_집합" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Dense_order" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Citation_needed" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Subset" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://www.wikidata.org/entity/Q369377" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://ja.dbpedia.org/resource/全順序" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Cardinal_number" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Connected_relation" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Counting" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://id.dbpedia.org/resource/Urutan_total" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Product_order" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Order_type" } },
"http://www.w3.org/2000/01/rdf-schema#label": "Линейно упорядоченное множество",
"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/Ordered_field" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Rational_numbers" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Lower_bound" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Ring_(mathematics)" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Annotated_link" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Monotone_sequence" } },
"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/Category:Set_theory" } },
"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/Converse_relation" } },
"http://www.w3.org/ns/prov#wasDerivedFrom": { "__deferred": { "uri": "http://en.wikipedia.org/wiki/Total_order?oldid=1124178424&ns=0" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Finite_set" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Ordered_vector_space" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Isomorphism" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Cols" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Order_isomorphic" } },
"http://www.w3.org/2000/01/rdf-schema#label": "Linjär ordning",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Ordered_pair" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "Dalam matematika, sebuah total atau urutan (atau tatanan) linear adalah dimana dua elemen dapat dibandingkan. Artinya, urutan total adalah relasi biner pada beberapa himpunan , yang memenuhi berikut ini untuk semua dan dalam : 1.
* (refleksif). 2.
* Jika dan maka (transitif) 3.
* Jika dan maka 4.
* atau . Jumlah tatanan terkadang disebut sederhana, koneks, atau tatanan penuh. Perpanjangan urutan parsial tertentu ke urutan total disebut dari urutan parsial tersebut.",
"http://www.w3.org/2000/01/rdf-schema#label": "ترتيب كلي",
"http://www.w3.org/2000/01/rdf-schema#label": "Total order",
"http://purl.org/dc/terms/subject": { "__deferred": { "uri": "http://dbpedia.org/resource/Category:Order_theory" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Use_dmy_dates" } },
"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/Rational_number" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Lattice_(order)" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Reflexive_closure" } },
"http://purl.org/dc/terms/subject": { "__deferred": { "uri": "http://dbpedia.org/resource/Category:Binary_relations" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Unit_interval" } },
"http://www.w3.org/2000/01/rdf-schema#label": "全順序",
"http://dbpedia.org/ontology/abstract": "In matematica, un ordine semplice/ordine totale o ordine lineare (o relazione d'ordine totale o lineare) è una relazione binaria su un insieme X che è riflessiva, antisimmetrica, transitiva (quindi una relazione d'ordine) e totale. Questo significa che, se denotiamo una tale relazione con ≤, valgono i seguenti enunciati per tutti gli a, b e c elementi di X: a ≤ a (riflessività)se a ≤ b e b ≤ a, allora a = b (antisimmetria)se a ≤ b e b ≤ c allora a ≤ c (transitività)a ≤ b oppure b ≤ a (totalità) Un insieme munito di un ordine totale viene chiamato insieme totalmente ordinato, o anche insieme linearmente ordinato, o catena. La stessa definizione si può dare per i preordini: un preordine che soddisfi la proprietà di totalità si dice preordine totale. La proprietà di totalità di una relazione si può descrivere dicendo che due suoi elementi qualsiasi costituiscono una coppia confrontabile per la relazione stessa. Notare che la proprietà di totalità implica la riflessività, cioè che per ogni elemento a sia a ≤ a. Un ordine totale è in particolare un ordine parziale, cioè è una relazione binaria riflessiva, antisimmetrica e transitiva. Un ordine totale si può anche definire come un ordine parziale che è anche una relazione totale. Alternativamente un insieme totalmente ordinato si può definire a partire da un particolare tipo di reticolo per il quale sia . A tale reticolo si associa la relazione definita ponendo per due suoi generici elementi a e b: a ≤ b se e solo se . Se a e b sono elementi di un insieme totalmente ordinato dalla relazione ≤, allora si può definire la relazione binaria a < b chiedendo: a ≤ b e a ≠ b. Questa relazione, come la ≤, è transitiva (a < b e b < c implicano a < c) ma, contrariamente a ≤, è tricotomica, cioè tale che è vero uno e uno solo dei tre fatti a < b, b < a e a = b. Si può anche seguire il percorso costruttivo opposto, cioè partire da una relazione binaria transitiva tricotomica <, definire la relazione a ≤ b per esprimere la relazione "a < b o a = b" e dimostrare che ≤ è un ordine totale.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Regular_chain" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Colend" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Separation_relation" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Order_isomorphism" } },
"http://www.w3.org/2000/01/rdf-schema#label": "Ordre total",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Set_(mathematics)" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Prime_ideal" } },
"http://www.w3.org/2000/01/rdf-schema#label": "Porządek liniowy",
"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/Injective_function" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Real_numbers" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Supremum" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Mathematical_structure" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://eo.dbpedia.org/resource/Totala_ordo" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://be.dbpedia.org/resource/Дачыненне_парадку" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "En matematiko, totala ordo, tuteca ordo, linia ordo aŭ simpla ordo sur aro X estas ordorilato, kiu kapablas ordigi ajnan paron da elementoj, tiel ke inter ajnaj du elementoj, unu estas pli granda ol la alia.",
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://nl.dbpedia.org/resource/Totale_orde" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Integers" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Cyclic_order" } },
"http://www.w3.org/2000/01/rdf-schema#label": "Lineární uspořádání",
"http://dbpedia.org/ontology/wikiPageExternalLink": { "__deferred": { "uri": "https://books.google.com/books%3Fid=ZgarCAAAQBAJ" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Dedekind-complete" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "In mathematics, a total or linear order is a partial order in which any two elements are comparable. That is, a total order is a binary relation on some set , which satisfies the following for all and in : 1.
* (reflexive). 2.
* If and then (transitive). 3.
* If and then (antisymmetric). 4.
* or (strongly connected, formerly called total). Total orders are sometimes also called simple, connex, or full orders. An extension of a given partial order to a total order is called a linear extension of that partial order.",
"http://www.w3.org/2000/01/rdf-schema#comment": "En matemáticas, un orden total, orden lineal, orden simple, o simplemente orden en un conjunto X es una relación binaria sobre X que es: reflexiva, transitiva, antisimétrica, y total; esto es, si se denota una tal relación por ≤, lo siguiente vale para cualesquiera a, b, y c en X:
* Si a pertenece a X, entonces a ≤ a (reflexiva).
* Si a ≤ b y b ≤ c, entonces a ≤ c (transitividad).
* Si a ≤ b y b ≤ a, entonces a = b (antisimetría).
* a ≤ b o b ≤ a (totalidad o completitud).",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Complete_lattice" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://cs.dbpedia.org/resource/Lineární_uspořádání" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Betweenness_relation" } },
"http://www.w3.org/2000/01/rdf-schema#label": "Orden total",
"http://www.w3.org/2000/01/rdf-schema#label": "Ordre total",
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://et.dbpedia.org/resource/Lineaarne_järjestus" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "En matemàtiques, un ordre lineal, ordre total, ordre simple o també ordenació és una relació binària (que en aquest article denotarem mitjançant per l'infix ≤) en un conjunt X. Aquesta relació és transitiva, antisimètrica i total. Un conjunt amb un ordre total s'anomena conjunt totalment ordenat, o cadena. Si X és totalment ordenat per ≤, llavors les següents afirmacions són certes per a, b i c de X qualssevol:
* Si a ≤ b i b ≤ a, llavors a = b (antisimetria).
* Si a ≤ b i b ≤ c, llavors a ≤ c (transitivitat).
* Es té que a ≤ b o bé b ≤ a (totalitat).",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Reflexive_reduction" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://es.dbpedia.org/resource/Orden_total" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Initial_segment" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Lexicographical_order" } },
"http://dbpedia.org/ontology/wikiPageLength": "20976",
"http://www.w3.org/2000/01/rdf-schema#label": "Totale orde",
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://pl.dbpedia.org/resource/Porządek_liniowy" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "全序关系，也称为线性顺序（英語：Total order, linear order）即集合上的反对称的、传递的和的二元关系（一般称其为）。 若满足全序关系，则下列陈述对于中的所有和成立：
* 反对称性：若且则
* 传递性：若且则
* 完全性：或 满足全序关系的集合叫做全序集合、线性序集合、简单序集合或链。链还常用来描述偏序集合的全序子集。 全序关系的完全性可以如下这样描述：集合中的任何一对元素都是可相互比较的。 注意完全性条件蕴涵了自反性：，因此全序关系也是（满足“完全性”条件的）偏序关系。",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Topology" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:SpringerEOM" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:More_footnotes" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Krull_dimension" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Cartesian_product" } },
"http://purl.org/dc/terms/subject": { "__deferred": { "uri": "http://dbpedia.org/resource/Category:Set_theory" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://ro.dbpedia.org/resource/Relație_de_ordine_totală" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://ru.dbpedia.org/resource/Линейно_упорядоченное_множество" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Sfn" } },
"http://dbpedia.org/ontology/abstract": "En matemáticas, un orden total, orden lineal, orden simple, o simplemente orden en un conjunto X es una relación binaria sobre X que es: reflexiva, transitiva, antisimétrica, y total; esto es, si se denota una tal relación por ≤, lo siguiente vale para cualesquiera a, b, y c en X:
* Si a pertenece a X, entonces a ≤ a (reflexiva).
* Si a ≤ b y b ≤ c, entonces a ≤ c (transitividad).
* Si a ≤ b y b ≤ a, entonces a = b (antisimetría).
* a ≤ b o b ≤ a (totalidad o completitud). La propiedad de totalidad de esta relación es equivalente a decir que todo par de elementos es comparable bajo la relación. Un conjunto dotado de un orden total se denomina conjunto totalmente ordenado, linealmente ordenado, simplemente ordenado, o cadena. Nótese que la condición de totalidad implica reflexividad, esto es, a ≤ a para todo a ∈ X; por lo tanto, un orden total es también un orden parcial, esto es, una relación binaria reflexiva, antisimétrica, y transitiva. Un orden total, entonces, puede también definirse como un orden parcial que sea "total", i.e. que cumpla con la condición de totalidad. Como alternativa, se puede definir un conjunto totalmente ordenado como un tipo particular de retículo, en el que se tiene {a ∨ b, a ∧ b} = {a, b} para cualesquiera a, b. Se escribe entonces a ≤ b si y solo si a = a ∧ b. Se deduce que un conjunto totalmente ordenado es un retículo distributivo. Los conjuntos totalmente ordenados forman una subcategoría completa de la categoría de conjuntos parcialmente ordenados, siendo los morfismos funciones que respetan el orden, es decir, funciones f tales que si a ≤ b entonces f(a) ≤ f(b). Una función biyectiva entre dos conjuntos totalmente ordenados que respete los dos órdenes es un isomorfismo en esta categoría.",
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Binary_relations" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://fr.dbpedia.org/resource/Ordre_total" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://da.dbpedia.org/resource/Total_ordning" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Ideal_(ring_theory)" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Singleton_set" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Cite_book" } },
"http://dbpedia.org/ontology/abstract": "En matemàtiques, un ordre lineal, ordre total, ordre simple o també ordenació és una relació binària (que en aquest article denotarem mitjançant per l'infix ≤) en un conjunt X. Aquesta relació és transitiva, antisimètrica i total. Un conjunt amb un ordre total s'anomena conjunt totalment ordenat, o cadena. Si X és totalment ordenat per ≤, llavors les següents afirmacions són certes per a, b i c de X qualssevol:
* Si a ≤ b i b ≤ a, llavors a = b (antisimetria).
* Si a ≤ b i b ≤ c, llavors a ≤ c (transitivitat).
* Es té que a ≤ b o bé b ≤ a (totalitat). L'antisimetria elimina els casos incerts en què a precedeix b i alhora b precedeix a. Una relació amb la propietat de «totalitat» vol dir que tot parell d'elements del conjunt de la relació són comparables per la relació. Això també vol dir que el conjunt es pot simbolitzar com una línia d'elements. La totalitat també implica la reflexivitat, és a dir, a ≤ a. Per tant, un ordre total és també un ordre parcial. L'ordre parcial té una forma més feble de la tercera condició (només requereix reflexivitat, no totalitat). Una extensió d'un ordre parcial donat a un ordre total s'anomena extensió lineal de l'ordre parcial.",
"http://www.w3.org/2000/01/rdf-schema#comment": "Lineární uspořádání (někdy také úplné uspořádání) je pojem z teorie uspořádání, který formálně zachycuje intuitivní představu o prvcích množiny, které jsou seřazeny „jeden za druhým“. To mimo jiné znamená, že každé dva prvky lineárně uspořádané množiny jsou porovnatelné.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Well-founded_order" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Group_(mathematics)" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://no.dbpedia.org/resource/Total_orden" } },
"http://www.w3.org/2000/01/rdf-schema#label": "전순서 집합",
"http://dbpedia.org/property/id": "Total_order&oldid=35332",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Order_topology" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Well_order" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://sk.dbpedia.org/resource/Lineárne_usporiadaná_množina" } },
"http://dbpedia.org/ontology/abstract": "순서론에서 전순서 집합(全順序集合, 영어: totally ordered set, toset)는 임의의 두 원소를 비교할 수 있는 부분 순서 집합이다. 실수에서는 순서를 줄 수 있지만 허수와 복소수에서는 순서를 줄 수 없다.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Connectedness" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Binary_relation" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Empty_set" } },
"http://xmlns.com/foaf/0.1/isPrimaryTopicOf": { "__deferred": { "uri": "http://en.wikipedia.org/wiki/Total_order" } },
"http://dbpedia.org/ontology/abstract": "في نظرية المجموعات، الترتيب الكلي، وقد يسمى الترتيب الخطي أوالترتيب البسيط أوالترتيب (غير القطعي), هو علاقة ثنائية, (يرمز إليها هنا ب ≤) معرفة على مجموعة X ما،.",
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Math" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Direct_product" } },
"http://dbpedia.org/ontology/wikiPageID": "30330",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/First-order_logic" } },
"http://www.w3.org/2000/01/rdf-schema#label": "Urutan total",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Distributive_lattice" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Category:Binary_relations" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://he.dbpedia.org/resource/סדר_מלא" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Homeomorphism" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Dimension_theory" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Ordinal_number" } },
"http://www.w3.org/2000/01/rdf-schema#label": "Totalordnung",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Noetherian_ring" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Well-order" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://ar.dbpedia.org/resource/ترتيب_كلي" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "En mathématiques, on appelle relation d'ordre total sur un ensemble E toute relation d'ordre ≤ pour laquelle deux éléments de E sont toujours comparables, c'est-à-dire que . On dit alors que E est totalement ordonné par ≤.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Transitive_relation" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Hamel_bases" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://fa.dbpedia.org/resource/ترتیب_کلی" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://rdf.freebase.com/ns/m.07gj6" } },
"http://dbpedia.org/ontology/abstract": "Лине́йно упоря́доченное мно́жество (цепь) ― частично упорядоченное множество, в котором любая пара элементов сравнима, то есть для любых двух элементов и имеет место или . Одно из центральных понятий в теории порядков; играет важную роль в общей алгебре, в частности, особо изучаются упорядоченные группы, упорядоченные кольца, упорядоченные поля. Важнейший частный случай линейно упорядоченных множеств ― вполне упорядоченные множества.",
"http://dbpedia.org/ontology/abstract": "Lineární uspořádání (někdy také úplné uspořádání) je pojem z teorie uspořádání, který formálně zachycuje intuitivní představu o prvcích množiny, které jsou seřazeny „jeden za druhým“. To mimo jiné znamená, že každé dva prvky lineárně uspořádané množiny jsou porovnatelné.",
"http://dbpedia.org/ontology/abstract": "Dalam matematika, sebuah total atau urutan (atau tatanan) linear adalah dimana dua elemen dapat dibandingkan. Artinya, urutan total adalah relasi biner pada beberapa himpunan , yang memenuhi berikut ini untuk semua dan dalam : 1.
* (refleksif). 2.
* Jika dan maka (transitif) 3.
* Jika dan maka 4.
* atau . Jumlah tatanan terkadang disebut sederhana, koneks, atau tatanan penuh. Satu himpunan yang dilengkapi dengan urutan total adalah himpunan berurutan total; istilah himpunan berurutan sederhana, himpunan berurutan linear, dan loset dan penggunaannya. Istilah kaidah terkadang didefinisikan sebagai sinonim dari himpunan berurutan total, tetapi secara umum mengacu pada himpunan bagian berurutan total dari himpunan berurutan sebagian. Perpanjangan urutan parsial tertentu ke urutan total disebut dari urutan parsial tersebut.",
"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/Countable_set" } },
"http://www.w3.org/2000/01/rdf-schema#label": "全序关系",
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://ca.dbpedia.org/resource/Ordre_total" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Dimension_of_a_vector_space" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Stack" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "Лине́йно упоря́доченное мно́жество (цепь) ― частично упорядоченное множество, в котором любая пара элементов сравнима, то есть для любых двух элементов и имеет место или . Одно из центральных понятий в теории порядков; играет важную роль в общей алгебре, в частности, особо изучаются упорядоченные группы, упорядоченные кольца, упорядоченные поля. Важнейший частный случай линейно упорядоченных множеств ― вполне упорядоченные множества.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/S2S_(mathematics)" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Map_(mathematics)" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "https://global.dbpedia.org/id/3RKmZ" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://zh.dbpedia.org/resource/全序关系" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Morphism" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "数学における全順序（ぜんじゅんじょ、英: total order）とは、集合での二項関係で、推移律、反対称律かつ完全律の全てを満たすもののことである。 単純順序（たんじゅんじゅんじょ、英: simple order）、線型順序（せんけいじゅんじょ、英: linear order）とも呼ばれる。 集合と全順序を組にしたものは、全順序集合 (totally ordered set), 線型順序集合 (linearly ordered set), 単純順序集合 (simply ordered set) あるいは鎖 (chain) と呼ばれる。 即ち、集合 X が関係 ≤ による全順序をもつとは、X の任意の元 a, b, c に対して、次の3条件を満たすことである： 反対称律：a ≤ b かつ b ≤ a ならば a = b推移律：a ≤ b かつ b ≤ c ならば a ≤ c完全律（比較可能）：a ≤ b または b ≤ a の何れかが必ず成り立つ",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Category_(mathematics)" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Monadic_second-order_logic" } },
"http://www.w3.org/2000/01/rdf-schema#comment": "En linjär ordning eller totalordning är inom matematik en binär relation på en mängd som ordnar elementen i en stigande eller fallande ordning. En sådan ordnad mängd som relationen är definierad på sägs vara en linjärt ordnad mängd eller en totalt ordnad mängd.",
"http://dbpedia.org/ontology/abstract": "Porządek liniowy – częściowy porządek będący zarazem łańcuchem, czyli taki, w którym każde dwa elementy rozpatrywanego zbioru są porównywalne.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Real_number" } },
"http://dbpedia.org/ontology/abstract": "En mathématiques, on appelle relation d'ordre total sur un ensemble E toute relation d'ordre ≤ pour laquelle deux éléments de E sont toujours comparables, c'est-à-dire que . On dit alors que E est totalement ordonné par ≤.",
"http://dbpedia.org/ontology/abstract": "En linjär ordning eller totalordning är inom matematik en binär relation på en mängd som ordnar elementen i en stigande eller fallande ordning. En sådan ordnad mängd som relationen är definierad på sägs vara en linjärt ordnad mängd eller en totalt ordnad mängd.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Natural_numbers" } },
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Mvar" } },
"http://dbpedia.org/ontology/abstract": "In de wiskunde is een totale orde of lineaire orde een ordeningsrelatie op een verzameling die het meest lijkt op de ordening zoals die bekend is van de getallenlijn. Totale orde is een begrip uit de ordetheorie. Een verzameling met daarop een totale orde heet een totaal geordende, of lineair geordende verzameling. Een dergelijke verzameling kan, zoals de term lineair al doet vermoeden, voorgesteld worden als een rechte lijn of een deelverzameling daarvan, met aan de ene kant van een element de opvolgers ervan en aan de andere kant zijn voorgangers. Een totaal geordende verzameling wordt met betrekking tot de ordening wel aangeduid als keten. Een totale orde is een speciaal geval van een partiële orde, namelijk dat in een verzameling met een totale orde ieder paar van elementen van met elkaar kan worden vergeleken. Een totale orde op een verzameling bepaalt een totale relatie. Van het viertal , , en volgen dus weer uit elk eenduidig de overige drie.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Completeness_(order_theory)" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://sv.dbpedia.org/resource/Linjär_ordning" } },
"http://www.w3.org/2000/01/rdf-schema#label": "Ordine totale",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Normal_space" } },
"http://dbpedia.org/ontology/abstract": "数学における全順序（ぜんじゅんじょ、英: total order）とは、集合での二項関係で、推移律、反対称律かつ完全律の全てを満たすもののことである。 単純順序（たんじゅんじゅんじょ、英: simple order）、線型順序（せんけいじゅんじょ、英: linear order）とも呼ばれる。 集合と全順序を組にしたものは、全順序集合 (totally ordered set), 線型順序集合 (linearly ordered set), 単純順序集合 (simply ordered set) あるいは鎖 (chain) と呼ばれる。 即ち、集合 X が関係 ≤ による全順序をもつとは、X の任意の元 a, b, c に対して、次の3条件を満たすことである： 反対称律：a ≤ b かつ b ≤ a ならば a = b推移律：a ≤ b かつ b ≤ c ならば a ≤ c完全律（比較可能）：a ≤ b または b ≤ a の何れかが必ず成り立つ 反対称性によって a < b かつ b < a であるという不確定な状態は排除される。完全性を持つ関係は、その集合の任意の二元がその関係でであることを意味する。これはまた、元を直線に並べた図式によってその集合が表せるということでもあり、それは「線型」順序の名の由来である。また完全性から反射性 (a ≤ a) が出るから、全順序は半順序の公理を満たす。半順序は（完全性の代わりに反射性のみが課されるという意味で）全順序よりも弱い条件である。与えられた半順序を拡張して全順序をえることは、半順序のと呼ばれる。",
"http://dbpedia.org/property/wikiPageUsesTemplate": { "__deferred": { "uri": "http://dbpedia.org/resource/Template:Em" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Irreflexive_relation" } },
"http://www.w3.org/2002/07/owl#sameAs": { "__deferred": { "uri": "http://it.dbpedia.org/resource/Ordine_totale" } },
"http://dbpedia.org/ontology/abstract": "In mathematics, a total or linear order is a partial order in which any two elements are comparable. That is, a total order is a binary relation on some set , which satisfies the following for all and in : 1.
* (reflexive). 2.
* If and then (transitive). 3.
* If and then (antisymmetric). 4.
* or (strongly connected, formerly called total). Total orders are sometimes also called simple, connex, or full orders. A set equipped with a total order is a totally ordered set; the terms simply ordered set, linearly ordered set, and loset are also used. The term chain is sometimes defined as a synonym of totally ordered set, but refers generally to some sort of totally ordered subsets of a given partially ordered set. An extension of a given partial order to a total order is called a linear extension of that partial order.",
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Vector_space" } },
"http://dbpedia.org/ontology/wikiPageWikiLink": { "__deferred": { "uri": "http://dbpedia.org/resource/Alphabetical_order" } }
}
], "__count": "1"
} }