Category:Bounded Below Sets

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

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

A subset $T \subseteq S$ is bounded below (in $S$) if and only if $T$ admits a lower bound (in $S$).