greatest_lower_bound
[!warning] AI-Generated This file was generated by AI and may require review.
Definition
A real number $i$ is the greatest lower bound (or infimum) for a set $A \subseteq \mathbb{R}$ if:
- $i$ is a lower_bound for $A$: $i \leq a$ for all $a \in A$
- $i$ is the greatest such bound: if $b$ is any lower_bound for $A$, then $b \leq i$
Notation: $i = \inf A$ or $i = \text{glb}(A)$.