Totala ordo: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Addbot (diskuto | kontribuoj) e Roboto: Forigo de 19 interlingvaj ligiloj, kiuj nun disponeblas per Vikidatumoj (d:q369377) |
Ligilo |
||
Linio 11:
Rimarku ke la kondiĉo de ''tuteco'' implicas [[Refleksiva rilato|refleksiveco]]n, tio estas ''a'' ≤ ''a''. Tial tuteca ordo estas ankaŭ [[parta ordo]], tio estas, duargumenta rilato kiu estas refleksiva, malsimetria kaj transitiva. Tuteca ordo povas ankaŭ esti difinita kiel parta ordo kiu estas tuteca.
Alternative, oni povas difini tutece orda aro kiel aparta speco de [[Latiso (matematiko)|latiso]], nome unu en kiu ni havas
: { ''a'' ∨ ''b'', ''a'' ∧ ''b'' } = { ''a'', ''b'' } por ĉiuj ''a'', ''b''.
| |||