Definition:Bounded Above Set

From ProofWiki
Jump to navigation Jump to search

This page is about ordered sets which are bounded above. For other uses, see Definition:Bounded Above.

Definition

Let $\left({S, \preceq}\right)$ be an ordered set.


A subset $T \subseteq S$ is bounded above (in $S$) if and only if $T$ admits an upper bound (in $S$).


Subset of Real Numbers

The concept is usually encountered where $\left({S, \preceq}\right)$ is the set of real numbers under the usual ordering $\left({\R, \le}\right)$:


Let $\R$ be the set of real numbers.

A subset $T \subseteq \R$ is bounded above (in $\R$) if and only if $T$ admits an upper bound (in $\R$).


Unbounded Above

Let $\left({S, \preceq}\right)$ be an ordered set.


A subset $T \subseteq S$ is unbounded above (in $S$) iff it is not bounded above.


Also see


Sources