By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z
  Email this page to a friend

Greatest lower bound

<theory> (glb, meet, infimum) The greatest lower bound of two elements, a and b is an element c such that c <= a and c <= b and if there is any other lower bound c' then c' <= c.

The greatest lower bound of a set S is the greatest element b such that for all s in S, b <= s.

The glb of mutually comparable elements is their minimum but in the presence of incomparable elements, if the glb exists, it will be some other element less than all of them.

glb is the dual to least upper bound.

(In LaTeX "<=" is written as \sqsubseteq, the glb of two elements a and b is written as a \sqcap b and the glb of set S as \bigsqcap S).

< Previous Terms Terms Containing greatest lower bound Next Terms >

greater than
greatest common divisor
complete lattice
distributive lattice
greatest lower bound
Great Renaming
Great Runes
Great Worm

Web Standards & Support:

Link to and support Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS! FireFox Extensions