Greatest lower bound
(Redirected from Infimum)
Given a subset in some larger partially ordered set , a greatest lower bound or infimum for is an element such that for every and there is no with this same property.
If the greatest lower bound of is an element of , it is also the minimum of . If , then has no minimum.
See also
This article is a stub. Help us out by expanding it.