TheoremBase

Upper Bound and Least Upper Bound

Statement

Let AA be a set equipped with a total order ≤\le, and let X⊆AX\subseteq A. An element b∈Ab\in A is an upper bound for XX if x≤bx\le b for every x∈Xx\in X. If such a bb exists, then XX is bounded above. An element s∈As\in A is a least upper bound, or supremum, of XX if ss is an upper bound for XX and s≤bs\le b for every upper bound bb of XX.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…