Razlika između inačica stranice »Relacija potpunog uređaja«
| Redak 29: | Redak 29: | ||
|klasifikacija= | |klasifikacija= | ||
|definicija=A [[:en:relation|relation]] $\leq$ is a total order on a set $S$ ("$\leq$ totally orders $S$") if the following properties hold.<br /> | |definicija=A [[:en:relation|relation]] $\leq$ is a total order on a set $S$ ("$\leq$ totally orders $S$") if the following properties hold.<br /> | ||
| − | 1. Reflexivity: $a\leq a$ for all $a \in S$.<br /> | + | 1. [[:en:Reflexivity]]: $a\leq a$ for all $a \in S$.<br /> |
2. Antisymmetry: $a\leq b$ and $b\leq a$ implies $a=b$.<br /> | 2. Antisymmetry: $a\leq b$ and $b\leq a$ implies $a=b$.<br /> | ||
3. Transitivity: $a\leq b$ and $b\leq c$ implies $a\leq c$.<br /> | 3. Transitivity: $a\leq b$ and $b\leq c$ implies $a\leq c$.<br /> | ||
Inačica od 07:38, 8. prosinca 2015.
Skraćeni oblik: potpuni uređaj
Definicija: Relacija parcijalnog uređaja "\(\leq\)" je relacija potpunog uređaja ako za svaki \(x,y\in S\) vrijedi \(x\leq y\) ili \(y\leq x\)
Dopušteni nazivi: totalni uređaj, relacija totalnog uređaja
Engleske istovrijednice: total order
Struna "light" ID: 13069
Obrađivač: Goran Igaly
Vrsta riječi: imenica Rod: ženski Broj: jednina
Cilj projekta "Hrvatsko nazivlje u matematici" je na jednom mjestu prikupiti i obraditi sve hrvatske nazive koji na izravan ili neizravan način imaju veze s matematikom. Ako želite na bilo koji način doprinijeti ostvarenju ciljeva ovog projekta, molim javite se voditelju projekta na adresu goran.igaly@math.hr
WMW definicija: A relation \(\leq\) is a total order on a set \(S\) ("\(\leq\) totally orders \(S\)") if the following properties hold.
1. en:Reflexivity\[a\leq a\] for all \(a \in S\).
2. Antisymmetry\[a\leq b\] and \(b\leq a\) implies \(a=b\).
3. Transitivity\[a\leq b\] and \(b\leq c\) implies \(a\leq c\).
4. Comparability (trichotomy law): For any \(a,b \in S\), either \(a\leq b\) or \(b\leq a\).
WMW napomena: The first three are the axioms of a partial order, while addition of the trichotomy law defines a total order.
WMW See also: Order Isomorphic, Order Type, Partial Order, Relation, Total Order, Trichotomy Law, Well Ordered Set
Izvor: Weisstein, Eric W. "Totally Ordered Set." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/TotallyOrderedSet.html
Struna ID: 13069