Infimum

Definition (Greatest Lower Bound)

Let $S\subset R$ and $s\in R$, we say that $s$ is the infimum of $S$ if:

1. $s$ is a Lower Bound of S ($\forall x\in S,x\ge s$)
2. If $b$ is an lower bound of $S$ then, $s\ge b$