Greatest lower bound

Revision as of 12:55, 5 March 2022 by Orange quail 9 (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Given a subset $S$ in some larger partially ordered set $R$, a greatest lower bound or infimum for $S$ is an element $m \in R$ such that $m \leq s$ for every $s \in S$ and there is no $M > m$ with this same property.

If the greatest lower bound $m$ of $S$ is an element of $S$, it is also the minimum of $S$. If $m \not\in S$, then $S$ has no minimum.

See also

This article is a stub. Help us out by expanding it.