Editing Infimum and supremum (section)

=== Minimal upper bounds ===
Finally, a partially ordered set may have many minimal upper bounds without having a least upper bound. Minimal upper bounds are those upper bounds for which there is no strictly smaller element that also is an upper bound. This does not say that each minimal upper bound is smaller than all other upper bounds, it merely is not greater. The distinction between "minimal" and "least" is only possible when the given order is not a [[Totally ordered set|total]] one. In a totally ordered set, like the real numbers, the concepts are the same.

As an example, let <math>S</math> be the set of all finite subsets of natural numbers and consider the partially ordered set obtained by taking all sets from <math>S</math> together with the set of [[integer]]s <math>\Z</math> and the set of positive real numbers <math>\R^+,</math> ordered by subset inclusion as above. Then clearly both <math>\Z</math> and <math>\R^+</math> are greater than all finite sets of natural numbers. Yet, neither is <math>\R^+</math> smaller than <math>\Z</math> nor is the converse true: both sets are minimal upper bounds but none is a supremum.