Supremum


Definition

Wolfram MathWorld
THEOREM   

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

Proof available

See also

Parent topics