Greatest lower bound
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.
