---
tag: 0QF1MZ9FRG
kind: concept
name: Infimum
aliases: [greatest-lower-bound, inf]
msc: [06A06]
sources:
  - url: https://en.wikipedia.org/wiki/Infimum_and_supremum
    locator: Formal definition
---

## Summary

The infimum of a set is its greatest lower bound.
It is a lower bound of the set that is greater than or equal to every other lower bound.
It is the dual notion of the [[supremum|0R3H5PANRQ]].