Parta ordo

(Alidirektita el Parte orda aro)

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

Strikta kaj malstrikta ordoRedakti

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:

 

SignifojRedakti

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

EkzemplojRedakti

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

Vidu ankaŭRedakti