Parta ordo

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo

Parta ordo estas rilato, kiu estas refleksiva, transitiva kaj malsimetria.

Strikta kaj malstrikta ordo[redakti | redakti fonton]

Strikta ordo estas refleksiva, transitiva kaj malsimetria rilato kaj malstrikta ordo estas kontraŭrefleksiva, kaj transitiva (kontraŭrefleksiva kaj transitiva estas samtempe malsimetria) rilato.

Se per oni celas malstriktan partan ordon sur aro , tiam la rilaton sur eblas difini jene:

Se per oni celas striktan partan ordon sur aro , tiam la rilaton sur eblas difini jene:

Signifoj[redakti | redakti fonton]

Foje oni samtempe uzas striktan kaj malstriktan ordojn; tiam por malstrikta ordo oni uzas matematikajn simbolojn , kaj por strikta respektive .

Ekzemploj[redakti | redakti fonton]

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

Vidu ankaŭ[redakti | redakti fonton]