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…
No relations recorded yet.