'''Parta ordo''' aŭ '''partordo''' estas rilato, kiu estas [[refleksiva rilato|refleksiva]], [[transitiva rilato|transitiva]] kaj [[malsimetria rilato|malsimetria]].
== AkutaStrikta kaj malakutamalstrikta ordo ==
AkutaStrikta ordo estas [[refleksiva rilato|refleksiva]], [[transitiva rilato|transitiva]] kaj [[malsimetria rilato|malsimetria]] rilato kaj malakutamalstrikta estas [[kontraŭrefleksiva rilato|kontraŭrefleksiva]], kaj [[transitiva rilato|transitiva]] ([[kontraŭrefleksiva rilato|kontraŭrefleksiva]] kaj [[transitiva rilato|transitiva]] estas samtempe [[malsimetria rilato|malsimetria]]) rilato.
Se per <math>\preceq</math> oni signifiscelas malakutanmalstriktan partordonpartan enordon sur aro <math>X</math>., tiam la rilaton <math>\preceq</math> sur <math>X</math> eblas Tiamdifini jene:
rilato <math>\preceq</math> en <math>X</math> estas difinata per:
: <math> x \prec y \iff x \preceq y \land x \neq y</math>
Se per<math>\prec</math> oni signifiscelas akutanstriktan partordonpartan enordon sur aro <math>X</math>., Tiamtiam rilatola rilaton <math>\preceq</math> ensur <math>X</math> eblas estas difinatadifini perjene:
: <math>x \preceq y \iff x \prec y \lor x = y</math>
