Definition:Upper Bound

Definition

Ordered Set

Let $\left({S, \preceq}\right)$ be a poset.

Let $T \subseteq S$ be bounded above in $S$ by an element $M \in S$.

Then $M$ is an upper bound for $T$.

Mapping

Let $f: S \to T$ be a mapping whose codomain is a poset $\left({T, \preceq}\right)$.

Let $f$ be bounded above in $T$ by $H \in T$.

Then $H$ is an upper bound of $f$.

Also see

• Bounded Above
• Lower Bound
• Bounded Below
• Bounded