上確界

上确界
shàngquèjiè
  1. supremum (math.)
  2. least upper bound

CEDICT

Entry Composition