Praporządek: Różnice pomiędzy wersjami

* Niech <math>X=\{a,b,c,d\}\;</math> i niech relacja <math>R \subseteq X \times X</math>, będzie zadana następująco: <math>R=\{(a,b),(a,c),(a,d),(b,d),(c,d),(b,c),(c,b)\}\;</math>. Wówczas <math>R\;</math> jest praporządkiem na <math>X</math> który nie jest porządkiem częściowym.

:

: <math>f\leqslant^* g</math> wtedy i tylko wtedy, gdy <math>\big(\exists N\in {\mathbb N}\big)\big(\forall n\geqslant N\big)(f(n)\leqslant g(n)\big)</math>

: (gdzie <math>\leqslant</math> oznacza naturalny porządek na <math>{\mathbb N}</math>). Wówczas <math>\leqslant^*</math> jest praporządkiem ale nie porządkiem częściowym.