Definition:Supremum of Set

Definition
Let $\struct {S, \preccurlyeq}$ be an ordered set.

Let $T \subseteq S$.

An element $c \in S$ is the supremum of $T$ in $S$ :


 * $(1): \quad c$ is an upper bound of $T$ in $S$
 * $(2): \quad c \preccurlyeq d$ for all upper bounds $d$ of $T$ in $S$.

If there exists a supremum of $T$ (in $S$), we say that:
 * $T$ admits a supremum (in $S$) or
 * $T$ has a supremum (in $S$).

Subset of Real Numbers
The concept is usually encountered where $\struct {S, \preccurlyeq}$ is the set of real numbers under the usual ordering $\struct {\R, \le}$:

The supremum of $T$ is denoted $\sup T$ or $\map \sup T$.

Also see

 * Definition:Infimum of Set


 * Supremum and Infimum are Unique