Category:Boundedness

From ProofWiki
Jump to navigation Jump to search

This category contains results about Boundedness.
Definitions specific to this category can be found in Definitions/Boundedness.

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

Let $T \subseteq S$ be both bounded below and bounded above in $S$.


Then $T$ is bounded in $S$.