An upper bound of a subset AA of a (P,)(P,\le) is an element uPu\in P such that aua\le u for all aAa\in A. The subset AA is bounded above if it has at least one upper bound in PP.

Remarks

Upper bounds are paired with and are used to define least upper bounds (the in real analysis).

Examples
  • In (Z,)(\mathbb{Z},\le), the integer 1010 is an upper bound for the subset {1,4,7}\{1,4,7\}.
  • In the poset (P(X),)(\mathcal P(X),\subseteq), the set ABA\cup B is an upper bound for {A,B}\{A,B\}, where ABA\cup B is the of AA and BB.