The infimum (or greatest lower bound) of a Set of numbers is the largest number that is less than or equal to every element in the set. It captures the "tightest" lower boundary for the set, even if it's not a member of the set itself, contrasting with the Minimum.
See also