Definition:Lower Bound of Set

Definition
Let $\left({S, \preceq}\right)$ 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 $\left({S, \preceq}\right)$ is the set of real numbers under the usual ordering $\left({\R, \le}\right)$:

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