lower bound

Let \(X\) be an ordered set, and let \(A\) be a subset of \(X\). Then an element \(l\) of \(X\) is said to be a lower bound of \(A\) if \( l \leq a \) for every \(a\in A\). If in addition \(l \geq m \) for every lower bound \(m\) of \(A\), then \(l\) is said to be a greatest lower bound or infimum of \(A\).

The terms upper bound, least upper bound, and supremum are defined analogously.

Citation Info

  • [MLA] “lower bound.” Platonic Realms Interactive Mathematics Encyclopedia. Platonic Realms, 19 Mar 2013. Web. 19 Mar 2013. <>
  • [APA] lower bound (19 Mar 2013). Retrieved 19 Mar 2013 from the Platonic Realms Interactive Mathematics Encyclopedia:


Get the ultimate math study-guide Math & Me: Embracing Successproduct thumbnail image Available in the Math Store
detail from Escher pic Belvedere

Are you a mathematical artist?

Platonic Realms is preparing an online gallery space to showcase and market the works of painters, sculptors, and other artists working in a tangible medium.

If your work celebrates mathematical themes we want to hear from you!

Please let us know about yourself using the contact page.