Parta ordo: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Maksim-bot (diskuto | kontribuoj)
Maksim-bot (diskuto | kontribuoj)
"partordon jest en"->"partordon en"
Linio 4:
Akuta ordo estas [[refleksiva rilato|refleksiva]], [[transitiva rilato|transitiva]] kaj [[malsimetria rilato|malsimetria]] rilato kaj malakuta 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 signifis malakutan partordon jest en aro <math>X</math>. Tiam
rilato <math>\preceq</math> en <math>X</math> estas difinata per:
: <math> x \prec y \iff x \preceq y \and x \neq y</math>