Supremum
Definition
Wolfram MathWorld
THEOREM
A non-empty subset of an ordered set has one supremum at most.
Proof available
See also
Infimum