어떤 집합의 모든 원소보다 작거나 같은 값들 중에서 가장 큰 값.
The greatest lower bound of a set; the largest real number that is less than or equal to every number in a given set.
예문:
"The inf of the set of all positive real numbers is zero."
"In this proof, we must show that the inf of the sequence is finite."