하계,lower_bound

하계,lower_bound (rev. 1.8)
tmp goto 경계,bound

greatest lower bound = 최대하계 = 하한 = infimum → 하한,infimum

하계(lower bound)가 존재하면 그 집합은 "bounded from below"라고 한다. https://mathworld.wolfram.com/BoundedfromBelow.html