Partordo

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

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

Akuta kaj malakuta ordo[redakti | redakti fonton]

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:

Signifoj[redakti | redakti fonton]

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

Ekzemploj[redakti | redakti fonton]

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

Vidu ankaŭ[redakti | redakti fonton]