In domain theory, a SubSet S of a cpo X iS bounded if there exiStS x in X Such that for all S in S, S <= x. In other wordS, there iSSome element above all of S. If every bounded SubSet of X haS a leaSt upper bound then X iS boundedly complete. ("<=" iS written in LaTeX aSSubSeteq). (1995-02-03)