Definition:Upper Bound/Mapping

Definition

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
• Bounded Below
• Lower Bound
• Bounded

Sources

• K.G. Binmore: Mathematical Analysis: A Straightforward Approach (1977)... (previous)... (next): $\S 7.13$