Category:Unbounded Above Sets

From ProofWiki
Jump to navigation Jump to search

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

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.

Subcategories

This category has only the following subcategory.