supremum and infimum

Distinguishing between elements of a set equipped with a partial order:

The supremum is the least upper bound, i.e. the least element in the set of all upper bounds.
The infimum is the greatest lower bound, i.e. the greatest element in the set of all lower bounds.


Powered by Forestry.md