< theory > (lub or "join", "supremum") The least upper bound of two elements a and b is an upper bound c such that a Lub is the dual to greatest lower bound .
(In LaTeX , " \sqsubseteq , the lub of two elements a and b is written a \sqcup b, and the lub of set S is written as \bigsqcup S).
(1995-02-03)