Definition:Bounded Above Set/Unbounded

From ProofWiki
Jump to navigation Jump to search

This page is about Unbounded Above in the context of Ordered Set. For other uses, see Unbounded Above.


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

A subset $T \subseteq S$ is unbounded above (in $S$) if and only if it is not bounded above.

Also see

  • Results about unbounded above sets can be found here.