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