Definition:Lower Bound of Set

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

Let $T$ be a subset of $S$.

A lower bound for $T$ (in $S$) is an element $m \in S$ such that:
 * $\forall t \in T: m \preceq t$

That is, $m$ precedes every element of $T$.

Subset of Real Numbers
The concept is usually encountered where $\struct {S, \preceq}$ is the set of real numbers under the usual ordering $\struct {\R, \le}$:

Also defined as
Some sources use the terminology the lower bound for the notion of infimum.

Also see

 * Definition:Bounded Below Set


 * Definition:Upper Bound of Set
 * Definition:Bounded Above Set


 * Definition:Bounded Ordered Set


 * Definition:Supremum of Set
 * Definition:Infimum of Set