Definition of greatest lower bound in English:

greatest lower bound

noun

Mathematics
  • Infimum.

Origin

Early 20th century; earliest use found in Annals of Mathematics.