greatest lower bound
greatest lower bound
[′grād·əst ¦lō·ər ′bau̇nd]greatest lower bound
(theory)The greatest lower bound of a set S is the greatest element bsuch that for all s in S, b <= s. The glb of mutuallycomparable elements is their minimum but in the presence ofincomparable elements, if the glb exists, it will be someother element less than all of them.
glb is the dual to least upper bound.
(In LaTeX "<=" is written as \\sqsubseteq, the glb of twoelements a and b is written as a \\sqcap b and the glb of setS as \\bigsqcap S).