Let S be a nonempty set of real numbers that has a lower bound. A number c is the called the greatest lower bound (or the infimum, denoted inf S) for S iff it satisfies the following properties: 1.c<=x for all x element S. 2. For all real numbers k, if k is a lower bound for S, then k<=c.

infimum | infimum limit | least upper bound | limit | lower bound | meet