| rdfs:comment
| - V matematice je kvaziuspořádání (někdy uváděno také jako předuspořádání) taková binární relace, která je reflexivní a tranzitivní. Pokud tedy tuto relaci značíme „R“, pak pro všechny prvky a, b a c z množiny A (na které je tato relace definována) platí:
* aRa (reflexivnost)
* aRb ∧ bRc ⇒ aRc (tranzitivita) Příkladem této relace je „být dělitelem“ v oboru reálných čísel. Po rozšíření této relace o symetričnost získáme relaci ekvivalence. Symetrické kvaziuspořádání tak je jiným názvem pro ekvivalenci. (cs)
- Eine Quasiordnung, auch Präordnung, (englisch preorder) ist eine abgeschwächte Variante einer Halbordnung, bei der es möglich ist, dass verschiedene Elemente in beiden Richtungen vergleichbar sind. Die Antisymmetrie muss also nicht erfüllt sein. Jede beliebige zweistellige Relation kann zu einer Quasiordnung erweitert werden, indem man ihre reflexiv-transitive Hülle bildet. Insbesondere die treten in praktischen Anwendungen beim Anordnen von Objekten in Sortierverfahren, Tabellenkalkulationsprogrammen oder Datenbanken auf. (de)
- En matemática, especialmente en teoría del orden, preórdenes son ciertas clases de relaciones binarias que se relacionan con los conjuntos parcialmente ordenados. El nombre cuasiorden es también una expresión común para preórdenes. Muchas definiciones teóricas para los conjuntos parcialmente ordenados se pueden generalizar a preórdenes, pero el esfuerzo adicional de generalización raramente se necesita. Con todo hay campos de uso, tales como la definición de la convergencia vía redes en topología, donde los preórdenes no se pueden substituir por conjuntos parcialmente ordenados sin perder propiedades importantes. (es)
- En mathématiques, un préordre est une relation binaire réflexive et transitive. C'est-à-dire que si E est un ensemble, une relation binaire sur E est un préordre lorsque :
* (réflexivité) ;
* (transitivité). Un ensemble préordonné est un ensemble muni d'un préordre, ou plus formellement un couple où désigne un ensemble et un préordre sur . (fr)
- 순서론에서 원순서 집합(原順序集合, 영어: preordered set, proset)은 그 속의 두 원소를 추이적으로 비교할 수 있는 집합이다. 부분 순서 집합과, 동치 관계를 갖는 집합의 공통적인 일반화이다. 어떤 집합의 몫집합 위의 부분 순서로도 생각할 수 있다. (ko)
- In matematica, ed in particolare nella teoria degli ordini, un preordine è un tipo di relazione binaria strettamente correlato con le relazioni d'ordine (ed i corrispondenti insiemi parzialmente ordinati). Molte definizioni teoriche legate alle relazioni d'ordine possono essere generalizzate per i preordini. (it)
- Praporządek, quasi-porządek – relacja, która jest zwrotna i przechodnia. Praporządkiem określa się również relację przeciwzwrotną i przechodnią, tak zdefiniowana relacja jest ostrym porządkiem częściowym. Dalsza część artykułu omawia wersję zwrotną. (pl)
- Em matemática, mais especificamente em teoria da ordem, uma pré-ordem é uma relação binária reflexiva e transitiva.Toda ordem parcial ou relação de equivalência é também uma pré-ordem. (pt)
- Передпорядок (відношення передпорядку) — бінарне відношення в теорії порядку, що є транзитивним та рефлексивним. Зазвичай позначається тоді визначення передпорядку на множині приймає вигляд: (транзитивність) (рефлексивність) Якщо замінити у визначенні рефлексивність на антирефлексивність, то отримаємо строгий передпорядок, який позначеється . Визначення: (транзитивність) (антирефлексивність) (uk)
- Предпоря́док (квазипоря́док) — бинарное отношение на множестве, обладающее свойствами рефлексивности и транзитивности. Обычно это отношение обозначается , тогда аксиомы предпорядка на множестве принимают вид: ,. Линейный предпорядок — предпорядок на множестве, для которого любые два элемента множества сравнимы: . (ru)
- 预序关系（简称预序，又称先序，preorder）、在数学中，是一类接近于偏序关系的二元关系，但仅满足和传递性而不满足反对称性。偏序的大多数理论均可扩展到预序。 (zh)
- In mathematics, especially in order theory, a preorder or quasiorder is a binary relation that is reflexive and transitive. Preorders are more general than equivalence relations and (non-strict) partial orders, both of which are special cases of a preorder: an antisymmetric (or skeletal) preorder is a partial order, and a symmetric preorder is an equivalence relation. In words, when one may say that b covers a or that a precedes b, or that b reduces to a. Occasionally, the notation ← or → or is used instead of (en)
- In de ordetheorie, een onderdeel van de wiskunde, is een preorde of quasi-orde, een relatie tussen de elementen van een verzameling die veel lijkt op een orderelatie, maar waarin elementen kunnen voorkomen die niet met elkaar vergeleken kunnen worden en elementen die van elkaar verschillen en in beide richtingen met elkaar te vergelijken zijn, wat wil zeggen dat ze op dezelfde plaats in de ordening staan. Wat de orde betreft zijn deze laatste gelijkwaardig of equivalent. De relatie is te omschrijven als 'kleiner of equivalent' in plaats van 'kleiner of gelijk'. Preordes in het algemeen en preordes die geen partiële ordes zijn, worden vaak aangeduid met het symbool . Een preorde ontstaat bijvoorbeeld als een groep mensen ingedeeld wordt naar de leeftijd, in jaren. Er zullen mensen zijn die (nl)
|
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)