---
tag: 0R3H5PANRQ
kind: concept
name: Supremum
aliases: [least-upper-bound, sup]
msc: [06A06]
sources:
  - url: https://en.wikipedia.org/wiki/Infimum_and_supremum
    locator: Formal definition
---

## Summary

The supremum of a set is its least upper bound.
It is an upper bound of the set that is less than or equal to every other upper bound.
A set can have a supremum that is not an element of the set.