xià què jiè

下确界

(math.) infimum; greatest lower bound

Frequency 3.3