Parta ordo: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Maksim (diskuto | kontribuoj) |
Maksim (diskuto | kontribuoj) +Ekzemploj |
||
Linio 8:
: <math> x \prec y \iff x \preceq y \and x \neq y</math>
Se per<math>\prec</math> oni signifis akutan partordon en aro <math>X</math>. Tiam rilato <math>\preceq</math> en <math>X</math> estas difinata per:
: <math>x \preceq y \iff x \prec y \or x = y</math>
== Signifoj ==
Foje oni estas uzata samtempe akutan kaj malakutan ordon, do por malakuta ordo oni uzas <math>\leq, \sqsubseteq, \subseteq, \preccurlyeq</math> por akuta <math><, \sqsubset, \subset, \prec</math>.
== Ekzemploj ==
[[Dosiero:Hasse diagram of powerset of 3.svg|right|thumb|250px|La aro de subaroj de ''{x, y, z}'', parte ordigita per inkluziveco]]
* La aro de naturaj nombroj ekipita kun la [[neegalaĵo (pli granda, malpli granda)|malpli granda ol aŭ egala al]] rilato.
* La aro de naturaj nombroj ekipita kun la [[divizoro|dividebleca]] rilato.
* La aro de [[subaro]]j de donita aro ([[aro de ĉiuj subaroj]]) ordigita per [[inkluziveco]].
== Vidu ankaŭ ==
| |||