Least upper bound
Revision as of 22:49, 3 November 2006 by I_like_pie (talk | contribs)
This article is a stub. Help us out by expanding it.
Given a subset in some larger ordered set
, a least upper bound, or supremum, for
is an element
such that
for every
and there is no
with this same property.
If the least upper bound of
is an element of
, it is also the maximum of
. If
, then
has no maximum.