Porządek ciągły: Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
Uproszczenie definicji porządku gęstego |
|||
Linia 11:
Niech <math>(A,\leqslant)</math> będzie porządkiem liniowym.
* Porządek <math>(A,\leqslant)</math> jest '''porządkiem gęstym''' jeśli ''A'' ma przynajmniej dwa elementy oraz między dowolnymi dwoma elementami ''A'' znajduje się trzeci element, tzn.
:: <math>\forall_{a \in A}\forall_{b \in A}
* Podzbiór <math>B\subseteq A</math> porządku ''A'' jest '''ograniczony z góry''' jeśli można znaleźć element <math>a\in A</math> większy niż wszystkie elementy zbioru ''B'', tzn. taki że
:: <math>\forall_{b\in B}(b\leqslant a).</math>
| |||