A set is said to be bounded from below if it has a lower bound. Consider the real numbers with their usual order. Then for any set M⊆R, the infimum inf M exists (in R) if and only if M is bounded from below and nonempty.

bounded from above | greatest lower bound | infimum | lower bound