下确界

xià què jiè

(math.) infimum; greatest lower bound

下

xià

down

确

què

variant of 確|确[que4]

界

jiè

(bound form) boundary; border