Supremum and infimum
For a nonempty appropriately bounded real set, the supremum is its least upper bound and the infimum its greatest lower bound; either need not belong to the set.
atlas-supremum-and-infimum · canonical_mko
Supremum and infimum
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data