The greatest lower bound, or infimum, of a nonempty set of real numbers having a lower bound is the number associated with , denoted , that satisfies the following properties:
1. for all .
2. For all real numbers , if is a lower bound for , then .
Portions of this entry contributed by Lik Hang Nick Chan
More things to try:
Weisstein, Eric W., with contributions by Lik Hang Nick Chan. "Greatest Lower Bound." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/GreatestLowerBound.html
of real numbers having a lower bound is the number
associated with 
, denoted 
, that satisfies the following properties:
for all 
.
, if 
is a lower bound for 
, then 
.
