< theory > (glb, meet, infimum) The greatest lower bound of two elements, a and b is an element c such that c The greatest lower bound of a set S is the greatest element b such that for all s in S, b glb is the dual to least upper bound .
(In LaTeX " \sqsubseteq , the glb of two elements a and b is written as a \sqcap b and the glb of set S as \bigsqcap S).
(1995-02-03)