Wikipedia

Kresy dolny i górny: Różnice pomiędzy wersjami

Przeglądaj historię interaktywnie
[wersja przejrzana][wersja przejrzana]
← poprzednia edycjanastępna edycja →
Usunięta treść Dodana treść
WizualnieWikikod
→‎Zobacz też: wymieniam linki
Linia 57:
:<math>\forall_{a \in A} \; s \sqsubseteq a</math>.
 
Element <math>s\in X\,</math> jest '''kresem górnym''' ('''supremum''') zbioru <math>A\,</math>, jeśli <math>s\,</math> jest ''[[Elementy najmniejszy i największy|elementem najmniejszym'']] w zbiorze wszystkich ''ograniczeń górnych'' <math>A\,</math>, tzn.
: <math>s</math> jest ograniczeniem górnym zbioru <math>A</math>;
: jeśli <math>s' \in X</math> jest ograniczeniem górnym zbioru <math>A</math>, to <math>s \sqsubseteq s'\;</math>.
 
Element <math>s\in X\,</math> jest '''kresem dolnym''' ('''infimum''') zbioru <math>A\,</math>, jeśli <math>s\,</math> jest ''[[Elementy najmniejszy i największy|elementem największym'']] w zbiorze wszystkich ''ograniczeń dolnych'' <math>A\,</math>, tzn.
: <math>s</math> jest ograniczeniem dolnym zbioru <math>A</math>;
: jeśli <math>s' \in X</math> jest ograniczeniem dolnym zbioru <math>A</math>, to <math>s' \sqsubseteq s\;</math>.
Źródło: „https://pl.wikipedia.org/wiki/Kresy_dolny_i_górny”