Interna rilato
samtempe
refleksiva,
malsimetria kaj
transitiva:
en aro de subaroj de E la rilato
A⊂B estas
ordo-rilato;
ordo-rilaton oni ofte signas per ≤
(legu: malpli granda ol, aÅ pli malgranda
ol) kaj Äian inverson per ≥
(legu: pli granda ol).
ordo 6;
Ecoj de ordo-rilato:
tuteca,
parta.
Rim.:
Kune kun ordo-rilato R oni ofte
konsideras
Äian malvastigitan version, nome la rilaton
âxRy kaj
x≠yâ. Tia rilato ne
estas
ordo-rilato laÅ la Äi-supra difino, sed oni ofte
nomas Äin âstriktaâ, âmalvastsencaâ aÅ
ârigora ordo-rilatoâ. Äi estas malrefleksiva,
malsimetria kaj transitiva.
Rim.:
Kiam necesas eviti ambiguecon inter la refleksiva rilato kaj Äia
malvastigaĵo, eblas uzi klarigan lingvaĵon de la tipo
âa estas strikte pli granda ol
bâ (a>b),
aÅ âa estas pli granda
ol b, aÅ egala (al Äi)â
(a≥b).