Parta ordo: Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
e roboto aldono de: pl:Częściowy porządek, ru:Частично упорядоченное множество |
"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
rilato <math>\preceq</math> en <math>X</math> estas difinata per:
: <math> x \prec y \iff x \preceq y \and x \neq y</math>
|