Let be a set equipped with a total order , and let . An element is an upper bound for if for every . If such a exists, then is bounded above. An element is a least upper bound, or supremum, of if is an upper bound for and for every upper bound of .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.