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 \preceq oni signifis malakutan partordon en aro X. Tiam rilato \preceq en X estas difinata per:

 x \prec y \iff x \preceq y \and x \neq y

Se per\prec oni signifis akutan partordon en aro X. Tiam rilato \preceq en X estas difinata per:

x \preceq y \iff x \prec y \or x = y

Signifoj[redakti | redakti fonton]

Foje oni estas uzata samtempe akutan kaj malakutan ordon, do por malakuta ordo oni uzas \leq, \sqsubseteq, \subseteq, \preccurlyeq por akuta <, \sqsubset, \subset, \prec.

Ekzemploj[redakti | redakti fonton]

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

Vidu ankaŭ[redakti | redakti fonton]