下確界 [－确－]

Jyutping haa6 kok3 gaai3
Pinyin xià què jiè

Definitions (CC-CEDICT)
  1. (math.) infimum; greatest lower bound