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.

Definition

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.


Sources