Infimum


Definition

Wolfram MathWorld
THEOREM   

A non-empty subset of an ordered set has one infimum at most.

Proof available

See also