Parta ordo
Partordo estas rilato, kiu estas refleksiva, transitiva kaj malsimetria.
Akuta kaj malakuta ordo
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
Foje oni estas uzata samtempe akutan kaj malakutan ordon, do por malakuta ordo oni uzas por akuta .
Ekzemploj
- La aro de naturaj nombroj ekipita kun la malpli granda ol aŭ egala al rilato.
- La aro de naturaj nombroj ekipita kun la dividebleca rilato.
- La aro de subaroj de donita aro (aro de ĉiuj subaroj) ordigita per inkluziveco.