下確界

下确界
xiàquèjiè
(math.) infimum; greatest lower bound

CEDICT

Entry Composition