Category:Bounded Above Sets

This category contains results about Bounded Above Sets.
Definitions specific to this category can be found in Definitions/Bounded Above Sets.

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

A subset $T \subseteq S$ is bounded above (in $S$) if and only if $T$ admits an upper bound (in $S$).