Definition:Upper Bound of Set

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

Let $T$ be a subset of $S$.

An upper bound for $T$ (in $S$) is an element $M \in S$ such that:
 * $\forall t \in T: t \preceq M$

That is, $M$ succeeds every element of $T$.

Also defined as
Some sources use the terminology the upper bound to refer to the notion of supremum.

Also see

 * Definition:Lower Bound (Ordered Set)
 * Definition:Bounded Below Set
 * Definition:Bounded Above Set
 * Definition:Bounded Set


 * Definition:Supremum (Ordered Set)
 * Definition:Infimum (Ordered Set)