Least upper bound
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.
