Partordo
Salti al navigilo
Salti al serĉilo
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 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.