하한,infimum

기호: 집합 A에 대해, A의 하한은 inf A

하한,infimum = 최대하계,greatest_lower_bound = glb = 최대 하계,lower_bound