Interna rilato
samtempe
refleksiva,
malsimetria kaj
transitiva:
en aro de subaroj de `bb E` la rilato
`bb A sub bb B` estas
ordo-rilato;
ordo-rilaton oni ofte signas per `le`
(legu: malpli granda ol, aÅ pli malgranda
ol) kaj Äian inverson per `ge`
(legu: pli granda ol).
ordo 6;
Ecoj de ordo-rilato:
tuteca,
parta.
Rim.:
Kune kun ordo-rilato `bb R` oni ofte
konsideras
Äian malvastigitan version, nome la rilaton
â`x bb R y` kaj
`x ne 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 gt b)`,
aÅ â`a` estas pli granda
ol `b`, aÅ egala (al Äi)â
(`a ge b`).