Partordo

(Alidirektita el Parte orda aro)

Partordo estas rilato, kiu estas refleksiva, transitiva kaj malsimetria.

Akuta kaj malakuta ordoRedakti

Akuta ordo estas refleksiva, transitiva kaj malsimetria rilato kaj malakuta estas kontraŭrefleksiva, kaj transitiva (kontraŭrefleksiva kaj transitiva estas samtempe malsimetria) rilato.

Se per   oni signifis malakutan partordon en aro  . Tiam rilato   en   estas difinata per:

 

Se per  oni signifis akutan partordon en aro  . Tiam rilato   en   estas difinata per:

 

SignifojRedakti

Foje oni estas uzata samtempe akutan kaj malakutan ordon, do por malakuta ordo oni uzas   por akuta  .

EkzemplojRedakti

 
La aro de subaroj de {x, y, z}, parte ordigita per inkluziveco

Vidu ankaŭRedakti