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

[wersja nieprzejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
notacja
m dlaczego ta zmiana? niektorzy pisza tak, niektorzy innaczej
Linia 6:
* Niech <math>X=\{a,b,c,d\}</math> i niech <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.
*
* Rozważmy zbiór <math>{}^{\mathbb N}^{\mathbb N}</math> wszystkich [[Funkcja|funkcji]] ze zbioru [[Liczby naturalne|liczb naturalnych]] <math>{\mathbb N}</math> w <math>{\mathbb N}</math>. Określmy relację <math>\leq^*</math> na <math>{}^{\mathbb N}^{\mathbb N}</math> przez
<center>
<math>f\leq^* g</math> wtedy i tylko wtedy gdy <math>\big(\exists N\in {\mathbb N}\big)\big(\forall n\geq N\big)(f(n)\leq g(n)\big)</math>