An ordered set $A$ is said to have the greatest lower bound property if every nonempty subset $A_0$ of $A$ that is Bounded below has a greatest lower bound.